scientific article
From MaRDI portal
Publication:2844828
zbMath1270.68084MaRDI QIDQ2844828
Mila E. Majster-Cederbaum, Harald Fecher
Publication date: 19 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105804955
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Transition systems from event structures revisited
- A theory of processes with durational actions
- Bisimulation and action refinement
- Refinement of actions in event structures and causal trees
- Failures semantics based on interval semiwords is a congruence for refinement
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- The semantics of the combination of atomized statements and parallel choice
- The connection between an event structure semantics and an operational semantics for TCSP
- Adding action refinement to a finite process algebra
- Towards action refinement for true concurrent real time
- Bundle event structures: a revised cpo approach.
- Split and ST bisimulation semantics
- Timed testing of concurrent systems
- Timing and causality in process algebra
- Refinement of actions and equivalence notions for concurrent systems
This page was built for publication:
