Author:
Tarasyuk Igor V.,Macià Hermenegilda,Valero Valentín
Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time;Bernardo;Theor. Comput. Sci.,1998
2. The box calculus: a new causal algebra with multi-label communication;Best;Lect. Notes Comp. Sci.,1992
3. Petri net algebra;Best,2001
4. Syntax, semantics, equivalences and axioms for MTIPP;Hermanns,1994
5. A compositional approach to performance modelling;Hillston,1996
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献