Year | DOI | Venue |
---|---|---|
2010 | 10.4230/OASIcs.MEMICS.2010.9 | MEMICS |
Keywords | Field | DocType |
process algebra | Transition system,Algebra,Abstract interpretation,Pure mathematics,Formalism (philosophy),Process calculus,Modal,Mathematics | Conference |
Citations | PageRank | References |
7 | 0.45 | 6 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nikola Benes | 1 | 15 | 2.64 |
Jan Kretínský | 2 | 159 | 16.02 |