scientific article; zbMATH DE number 4119660
From MaRDI portal
Publication:4733435
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)
Recommendations
Cited in
(58)- Event Structure Semantics for Nominal Calculi
- Analysis of equivalence relations of event structures with continuous time
- scientific article; zbMATH DE number 4018370 (Why is no real title available?)
- Denotational semantics in the cpo and metric approach
- scientific article; zbMATH DE number 1497792 (Why is no real title available?)
- Graph types for monadic mobile processes
- Partial-Order Reduction
- scientific article; zbMATH DE number 7147446 (Why is no real title available?)
- Representations of algebraic domains and algebraic L-domains by information systems
- The conflict-free reduction geometry
- ST-structures
- Relating conflict-free stable transition and event models via redex families
- 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
- Configuration structures, event structures and Petri nets
- A representation of L-domains by information systems
- Context-free event domains are recognizable
- Rule-based and object-based event structures for membrane systems
- Stable neighbourhoods
- Generated models and the \(\omega\)-rule: the nondeterministic case
- Modular relaxed dependencies in weak memory concurrency
- Objects and classes in Algol-like languages
- Bundle event structures and CCSP.
- Simultaneity in event structures
- An event structure semantics for general Petri nets
- Synchronous Kleene algebra
- A verified algorithm enumerating event structures
- scientific article; zbMATH DE number 7809760 (Why is no real title available?)
- 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
- Schedulers and finishers: on generating and filtering the behaviours of an event structure
- On the expressiveness of higher dimensional automata
- A monoidal closed category of event structures
- Schedulers and finishers: on generating the behaviours of an event structure
- Event structures for arbitrary disruption
- Concurrent semantics for fusions: weak prime domains and connected event structures
- Event structures with symmetry
- Composition methods for constructing characteristic formulas for dense-time models
- scientific article; zbMATH DE number 1737501 (Why is no real title available?)
- EMSO-definability of some languages with event structures
- Abstract graph derivations in the double pushout approach
- A counterexample to Thiagarajan's conjecture on regular event structures
- Point algebras for temporal reasoning: Algorithms and complexity
- Event structures for interrupt process algebras
- 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
- Modelling causality via action dependencies in branching time semantics
- Minimisation of event structures
- Algebra and theory of order-deterministic pomsets
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)
