Keyword: operational semantics

• Tarasyuk, Igor V.:
  Stochastic Petri box calculus with discrete time. 2007.

• Tarasyuk, Igor V.:
  Iteration in discrete time stochastic Petri box calculus. 2006.

• Cabac, Lawrence; Moldt, Daniel:
  Formal Semantics for AUML Agent Interaction Protocol Diagrams. 2005.

• Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej; Pommereau, Franck:
  An Algebra of Non-safe Petri Boxes. 2002.

• Koutny, M.; Best, E.:
  Operational and denotational semantics for the box algebra. 1999.

• Tarasyuk, Igor V.:
  Algebra AFLP₂: a calculus of labelled nondeterministic processes. 1996.

• Schneider, S.:
  An operational semantics for timed CSP. 1995.

• Gorrieri, Roberto; Montanari, Ugo:
  Distributed Implementation of CCS. 1991.

• Franky, M.C.:
  JOYCE⁺: Model and Language for Multi-Site Distributed Systems. 1990.

• Franky, Mari Consuelo:
  JOYCE⁺: Model and Language for Multi-Site Distributed Systems. 1990.

• Maggiolo-Schettini, Andrea; Winkowski, Józef:
  A Generalization of Predicate/Transition Nets. 1990.

• Boudol, G.; Castellani, I.:
  Concurrency and Atomicity. 1988.

Back to the Petri Nets Bibliography