Author:
Baeten Jos C. M.,Bravetti Mario
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Baeten, J.C.M.: Embedding untimed into timed process algebra: The case for explicit termination. Mathematical Structures in Computer Science 13(4), 589–618 (2003)
2. Baeten, J.C.M., Basten, T., Reniers, M.A.: Algebra of Communicating Processes. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (2005)
3. Baeten, J.C.M., Bergstra, J.A.: Process algebra with propositional signals. Theoretical Computer Science 177(2), 381–406 (1997)
4. Baeten, J.C.M., Bergstra, J.A., Hoare, C.A.R., Milner, R., Parrow, J., de Simone, R.: The variety of process algebra. Deliverable ESPRIT Basic Research Action 3006, CONCUR (1991)
5. Baeten, J.C.M., Bravetti, M.: A ground-complete axiomatization of finite state processes in process algebra. Technical Report CS Report 05-18, Technische Universiteit Eindhoven, Department of Mathematics and Computer Science (2005)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献