Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
10.1016/S0022-0000(76)80030-X | 1976 | |||
MARKOWSKY , G , AND ROSEN , B Bases for chain-complete posets IBM ~ Res. Develop. 20 , 2 ( 1976 ), 138- 147. MARKOWSKY, G, AND ROSEN, B Bases for chain-complete posets IBM ~ Res. Develop. 20, 2 (1976), 138- 147. | 1976 | |||
17th IEEE Symp. on Theory of Comptg, Houston, Tex. | 1976 | |||
North-Holland Pub. Co. | 1973 | |||
Edmburgh | 1978 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Toward an algebraic theory of systems | Theoretical Computer Science |
| 2018 | |
A brief history of process algebra | Theoretical Computer Science |
| 76 | 2005 |
CCS with Hennessy's merge has no finite-equational axiomatization | Theoretical Computer Science |
| 11 | 2005 |
Structural inclusion in the pi-calculus with replication | Theoretical Computer Science |
| 2001 | |
Computational flux | ACM SIGPLAN Notices | 2001 |