Name
Abstract | ||
|---|---|---|
We establish the structure of the initial process algebra with additive and multiplicative identity elements and no article silent step. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1016/j.tcs.2011.03.019 | Theoretical Computer Science |
Keywords | DocType | Volume |
Process algebra,Bisimulation,Heyting algebra,Empty process,Silent step,Infinite sums and products | Journal | 412 |
Issue | ISSN | Citations |
28 | 0304-3975 | 0 |
PageRank | References | Authors |
0.34 | 3 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Piet H. Rodenburg | 1 | 0 | 0.34 |
| Jan Willem Klop | 2 | 1498 | 161.90 |
| Karst Koymans | 3 | 16 | 3.60 |
| Jos Vrancken | 4 | 90 | 13.98 |