A theory of processes with durational actions

DOI10.1016/0304-3975(94)00205-WzbMath0874.68113MaRDI QIDQ674005

Enrico Stancampiano, Roberto Gorrieri, Marco Roccetti

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

bisimulationprocess algebras

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (21)

Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions ⋮ Bounded concurrency ⋮ Bisimulation on speed: Lower time bounds ⋮ Bisimulation on speed: Worst-case efficiency ⋮ A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time ⋮ On the coarsest congruence within global-clock-bounded equivalence ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Team bisimilarity, and its associated modal logic, for BPP nets ⋮ Undecidability of performance equivalence of Petri nets ⋮ The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes ⋮ Unnamed Item ⋮ On testing urgency through laziness over processes with durational actions ⋮ Decidability of performance equivalence for basic parallel processes ⋮ Bisimulation on speed: a unified approach ⋮ On the semantics of durational actions ⋮ A study on team bisimulation and H-team bisimulation for BPP nets ⋮ On performance congruences for process algebras ⋮ Processes of timed Petri nets ⋮ Non-interleaving bisimulation equivalences on basic parallel processes ⋮ Absolute versus relative time in process algebras.

Uses Software

• LOTOS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets, event structures and domains. I
• From ATP to timed graphs and hybrid systems
• A structural approach to operational semantics
• Split and ST bisimulation semantics
• Timed testing of concurrent systems
• Real time process algebra
• A Theory of Communicating Sequential Processes
• Process Algebra
• OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
• A Compositional Approach to Performance Modelling

This page was built for publication: A theory of processes with durational actions