scientific article; zbMATH DE number 4018370
From MaRDI portal
Publication:3030239
Recommendations
Cited in
(only showing first 100 items - show all)- Concurrent transition systems
- Concurrency and atomicity
- Event structures and domains
- Universal homogeneous event structures and domains
- Event structures and trace monoids
- Elementary transition systems
- Causal automata
- Towards an algebra for timed behaviours
- Representation of computations in concurrent automata by dependence orders
- Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
- Finite labelling problem in event structures
- Elementary transition systems and refinement
- Denotational semantics in the cpo and metric approach
- Labelled domains and automata with concurrency
- The difference between splitting in \(n\) and \(n+1\)
- Petri nets, traces, and local model checking
- Parallel product of event structures
- Truly concurrent constraint programming
- On Scott's thesis for domains of information and well-quasi-orderings
- Algebra and theory of order-deterministic pomsets
- Recursive domain equations for concrete data structure
- Membership problems for regular and context-free trace languages
- Bundle event structures: a revised cpo approach.
- Objects and classes in Algol-like languages
- Domain and event structure semantics for Petri nets with read and inhibitor arcs
- Clustering for Petri nets
- Well-behaved flow event structures for parallel composition and action refinement
- Unfolding-based diagnosis of systems with an evolving topology
- Ensuring liveness properties of distributed systems: open problems
- Transactions and contracts based on reaction systems
- Concurrent semantics for fusions: weak prime domains and connected event structures
- Minimisation of event structures
- Behavioural logics for configuration structures
- Expressiveness of concurrent intensionality
- Weighted models for higher-order computation
- Team bisimilarity, and its associated modal logic, for BPP nets
- Bayesian strategies: probabilistic programs as generalised graphical models
- Rabin's theorem in the concurrency setting: a conjecture
- Bayesian network semantics for Petri nets
- Dynamical systems and sheaves
- Unified mathematical framework for slicing and symmetry reduction over event structures
- A verified algorithm enumerating event structures
- From model checking to equilibrium checking: reactive modules for rational verification
- Towards a categorical representation of reversible event structures
- Nested-unit Petri nets
- Refinement of actions for real-time concurrent systems with causal ambiguity
- On the expressiveness of higher dimensional automata
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
- Interleaving set temporal logic
- A compositional proof system on a category of labelled transition systems
- On concurrent games with payoff
- Characterising spectra of equivalences for event structures, logically
- Contracts as games on event structures
- Higher-order dynamics in event structures
- On the hardness of proving CCA-security of Signed ElGamal
- Event structures for interrupt process algebras
- Event structures with symmetry
- A graph abstract machine describing event structure composition
- Reversibility and models for concurrency
- Unfolding Grammars in Adhesive Categories
- Atomicity, coherence of information, and point-free structures
- Event Analytics
- A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
- Configuration- and residual-based transition systems for event structures with asymmetric conflict
- From qualitative to quantitative semantics. By change of base
- Local model checking in a logic for true concurrency
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
- On the origin of events: branching cells as stubborn sets
- A truly concurrent process semantics over multi-pomsets of consumable resources
- Schedulers and finishers: on generating the behaviours of an event structure
- Concurrent Kleene Algebra
- Reduction of event structures under history preserving bisimulation
- ST-structures
- Event structures with disabling/enabling relation and event automata
- Unfolding Graph Transformation Systems: Theory and Applications to Verification
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
- Producing Short Counterexamples Using “Crucial Events”
- Workshop on Petri Nets and Graph Transformations
- Grammar Morphisms and Weakly Adhesive Categories
- Dynamic Partial Order Reduction Using Probe Sets
- Simultaneity in event structures
- Teaching Concurrency Concepts to Freshmen
- Partial Orders, Event Structures and Linear Strategies
- Modeling event structures*
- scientific article; zbMATH DE number 683365 (Why is no real title available?)
- scientific article; zbMATH DE number 1737501 (Why is no real title available?)
- Event structures for Petri nets with persistence
- The configuration space of a robotic arm in a tunnel
- From domains to automata with concurrency
- A model of intuitionistic affine logic from stable domain theory
- Non sequential semantics for contextual P/T nets
- scientific article; zbMATH DE number 4770 (Why is no real title available?)
- scientific article; zbMATH DE number 4119660 (Why is no real title available?)
- Concurrency for Graph Grammars in a Petri net shell
- scientific article; zbMATH DE number 1432326 (Why is no real title available?)
- A theory of distributed Markov chains
- Sculptures in concurrency
- A new operational representation of dependencies in event structures
- On relating some models for concurrency
- Probabilistic rely-guarantee calculus
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 Q3030239)
