TY  - CHAP
AU  - Marroquín Alonso, Olga
AU  - Frutos Escrig, David De
A4  - Colom, José Manuel
A4  - Koutny, Maciej
PY  - 2001
DO  - 10.1007/3-540-45740-2_18
SN  - 978-3-540-42252-5
UR  - https://hdl.handle.net/20.500.14352/60657
AB  - PBC (Petri Box Calculus) is a process algebra where real parallelism of concurrent systems can be naturally expressed. One of its main features is the definition of a denotational semantics based on Petri nets, which emphasizes the structural aspects...
LA  - eng
PB  - Springer
TI  - Extending the Petri box calculus with time
TY  - book part
ER  -