Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Aceto, L., Fokkink, W.J., Verhoef, C.: Structured operational semantics. In: [4], pp. 197–292
2. Baeten, J.C.M., Middelburg, C.A.: Process algebra with timing: Real time and discrete time. In: [4], pp. 627–684
3. Cambridge Tracts in Theoretical Computer Science;J.C.M. Baeten,1990
4. Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier Science B.V., Amsterdam (2001)
5. Best, E.: Semantics of Sequential and Parallel Programs. Prentice-Hall, Englewood Cliffs (1996)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Purpose-Based Policy Enforcement in Actor-Based Systems;Fundamentals of Software Engineering;2017
2. Connector algebras for C/E and P/T nets' interactions;Logical Methods in Computer Science;2013-09-17
3. Petri nets semantics of π-calculus;Frontiers of Electrical and Electronic Engineering in China;2008-05-20