scientific article; zbMATH DE number 4119660
From MaRDI portal
Publication:4733435
zbMATH Open0683.68074MaRDI QIDQ4733435FDOQ4733435
Authors: Glynn Winskel 
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
General topics in the theory of software (68N01) Formal languages and automata (68Q45) Theory of software (68N99) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Cited In (58)
- Analysis of equivalence relations of event structures with continuous time
- Title not available (Why is that?)
- Title not available (Why is that?)
- Denotational semantics in the cpo and metric approach
- Graph types for monadic mobile processes
- Title not available (Why is that?)
- Partial-Order Reduction
- The conflict-free reduction geometry
- Representations of algebraic domains and algebraic L-domains by information systems
- Relating conflict-free stable transition and event models via redex families
- ST-structures
- An event structure semantics for graph grammars with parallel productions
- Unified mathematical framework for slicing and symmetry reduction over event structures
- Information systems revisited -- the general continuous case
- Context-free event domains are recognizable
- Context-free event domains are recognizable
- Configuration structures, event structures and Petri nets
- A representation of L-domains by information systems
- Rule-based and object-based event structures for membrane systems
- Generated models and the \(\omega\)-rule: the nondeterministic case
- Modular relaxed dependencies in weak memory concurrency
- Bundle event structures and CCSP.
- Stable neighbourhoods
- Objects and classes in Algol-like languages
- Simultaneity in event structures
- A verified algorithm enumerating event structures
- An event structure semantics for general Petri nets
- Synchronous Kleene algebra
- Title not available (Why is that?)
- Global types and event structure semantics for asynchronous multiparty sessions
- A graph abstract machine describing event structure composition
- New representations of algebraic domains and algebraic L-domains via closure systems
- Refinement of actions for real-time concurrent systems with causal ambiguity
- Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
- A graph rewriting framework for Statecharts semantics
- Normal forms, linearity, and prime algebraicity over nonflat domains
- A monoidal closed category of event structures
- On the expressiveness of higher dimensional automata
- 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
- Concurrent semantics for fusions: weak prime domains and connected event structures
- Event structures with symmetry
- Title not available (Why is that?)
- Composition methods for constructing characteristic formulas for dense-time models
- Abstract graph derivations in the double pushout approach
- EMSO-definability of some languages with event structures
- A counterexample to Thiagarajan's conjecture on regular event structures
- Event structures for interrupt process algebras
- Point algebras for temporal reasoning: Algorithms and complexity
- Cartesian closed categories of domains and the space proj(D)
- On relating rewriting systems and graph grammars to event structures
- Causal behaviours and nets
- Event structure semantics for multiparty sessions
- Minimisation of event structures
- Modelling causality via action dependencies in branching time semantics
- Algebra and theory of order-deterministic pomsets
- Event Structure Semantics for Nominal Calculi
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 Q4733435)
