scientific article; zbMATH DE number 1479625

MaRDI QIDQ4490738zbMATH OpenFDO

Authors Ursula Goltz, Roberto Gorrieri, Arend Rensink

Publication date 20 July 2000

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Comparing syntactic and semantic action refinement
• Refinement of actions in event structures and causal trees
• scientific article; zbMATH DE number 4180788
• Publication:5750408
• Towards action-refinement in process algebras

Cited in

(5)

• Well-behaved flow event structures for parallel composition and action refinement
• Comparing syntactic and semantic action refinement
• Towards action-refinement in process algebras
• Refinement of actions for real-time concurrent systems with causal ambiguity
• Action refinement and property inheritance in systems of sequential agents

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490738)