scientific article

zbMath1270.68213MaRDI QIDQ2844829

Jinzhao Wu, Mila E. Majster-Cederbaum, Harald Fecher

Publication date: 19 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105804967

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Progress-preserving Refinements of CTA ⋮ Refinement of actions for real-time concurrent systems with causal ambiguity

Uses Software

• LOTOS

Cites Work

• A theory of timed automata
• Towards action refinement for true concurrent real time
• Bundle event structures: a revised cpo approach.
• Timing and causality in process algebra
• Refinement of actions and equivalence notions for concurrent systems
• Metric semantics for true concurrent real time
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: