scientific article; zbMATH DE number 4182807

zbMATH Open0717.68028MaRDI QIDQ5748880FDOQ5748880

Authors: Rita Loogen, Ursula Goltz 

Publication date: 1991

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (32)

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

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)