Fixed points in free process algebras, part I
- 1 March 1989
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 63 (3) , 275-294
- https://doi.org/10.1016/0304-3975(89)90010-8
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Fixed point equations with parameters in the projective modelInformation and Computation, 1987
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Process algebra for synchronous communicationInformation and Control, 1984
- Seminearrings, seminearfields and their semigroup-theoretical backgroundSemigroup Forum, 1982
- Related representation theorems for rings, semi-rings, near-rings and semi-near-rings by partial transformations and partial endomorphismsProceedings of the Edinburgh Mathematical Society, 1977