scientific article; zbMATH DE number 4182807

MaRDI QIDQ5748880zbMATH OpenFDO

Authors Rita Loogen, Ursula Goltz

Publication date 1991

zbMATH Keywords

labelled event structuresnondeterministic concurrent processes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3913662
• scientific article; zbMATH DE number 17794
• An event structure model for probabilistic concurrent Kleene algebra
• scientific article; zbMATH DE number 4200091
• scientific article; zbMATH DE number 4064457
• scientific article; zbMATH DE number 1759373
• Event structures for interrupt process algebras

Cited in

(32)

• Denotational, causal, and operational determinism in event structures
• Context-free event domains are recognizable
• Denotational semantics in the cpo and metric approach
• scientific article; zbMATH DE number 3970100 (Why is no real title available?)
• Step failures semantics and a complete proof system
• Redefining event variables for efficient modeling of continuous-time batch processing
• Event structure semantics for multiparty sessions
• scientific article; zbMATH DE number 67509 (Why is no real title available?)
• scientific article; zbMATH DE number 3903945 (Why is no real title available?)
• Event structures for arbitrary disruption
• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• Schedulers and finishers: on generating the behaviours of an event structure
• Global types and event structure semantics for asynchronous multiparty sessions
• Metric completion versus ideal completion
• Event structure spans for nondeterministic dataflow
• Configuration- and residual-based transition systems for event structures with asymmetric conflict
• Behavioural characterizations of partial order logics
• Metric semantics for true concurrent real time
• scientific article; zbMATH DE number 4119653 (Why is no real title available?)
• Context-free event domains are recognizable
• The box algebra = Petri nets + process expressions
• scientific article; zbMATH DE number 4119660 (Why is no real title available?)
• Unified mathematical framework for slicing and symmetry reduction over event structures
• Structure preserving bisimilarity, supporting an operational Petri net semantics of CCSP
• Schedulers and finishers: on generating and filtering the behaviours of an event structure
• Causal ambiguity and partial orders in event structures
• scientific article; zbMATH DE number 3913662 (Why is no real title available?)
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• The connection between an event structure semantics and an operational semantics for TCSP
• Transition systems from event structures revisited
• Parallel product of event structures
• scientific article; zbMATH DE number 4090776 (Why is no real title available?)

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 Q5748880)