scientific article; zbMATH DE number 4018370
From MaRDI portal
Publication:3030239
Recommendations
Cited in
(only showing first 100 items - show all)- Flow unfolding of multi-clock nets
- Event Structure Semantics for Nominal Calculi
- Bundle event structures: a revised cpo approach.
- Event structures and domains
- Unfolding-based diagnosis of systems with an evolving topology
- The poset of infinitary traces
- On concurrent games with payoff
- Mitigating covert channels based on analysis of the potential for communication
- Petri nets, traces, and local model checking
- Denotational semantics in the cpo and metric approach
- Behavioural logics for configuration structures
- scientific article; zbMATH DE number 7215282 (Why is no real title available?)
- scientific article; zbMATH DE number 7297883 (Why is no real title available?)
- Causal automata
- Non-deterministic information systems and their domains
- Bayesian strategies: probabilistic programs as generalised graphical models
- A typed language for events
- Petri nets and bisimulation
- Nested-unit Petri nets
- Concurrency for Graph Grammars in a Petri net shell
- scientific article; zbMATH DE number 7147446 (Why is no real title available?)
- Non sequential semantics for contextual P/T nets
- Contracts as games on event structures
- Labelled domains and automata with concurrency
- Elementary transition systems and refinement
- scientific article; zbMATH DE number 4119660 (Why is no real title available?)
- Unfolding Grammars in Adhesive Categories
- ST-structures
- Concurrency and atomicity
- Grammar Morphisms and Weakly Adhesive Categories
- Universal homogeneous event structures and domains
- A truly concurrent process semantics over multi-pomsets of consumable resources
- Higher-order dynamics in event structures
- Unified mathematical framework for slicing and symmetry reduction over event structures
- Distributed temporal logic for the analysis of security protocol models
- Representation of computations in concurrent automata by dependence orders
- Towards an algebra for timed behaviours
- Rabin's theorem in the concurrency setting: a conjecture
- Event structures for Petri nets with persistence
- Configuration- and residual-based transition systems for event structures with asymmetric conflict
- Extensional Petri net
- Typed event structures and the linear \(\pi \)-calculus
- On the nature of events: another perspective in concurrency
- scientific article; zbMATH DE number 7649892 (Why is no real title available?)
- Clustering for Petri nets
- Configuration structures, event structures and Petri nets
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
- Reversibility and models for concurrency
- Atomicity, coherence of information, and point-free structures
- A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
- Concrete data structures and functional parallel programming
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus
- On the hardness of proving CCA-security of Signed ElGamal
- Truly concurrent constraint programming
- Objects and classes in Algol-like languages
- Bundle event structures and CCSP.
- The difference between splitting in \(n\) and \(n+1\)
- Towards a categorical representation of reversible event structures
- Concurrent Kleene algebra and its foundations
- Simultaneity in event structures
- Denotational, causal, and operational determinism in event structures
- Unfolding semantics of graph transformation
- Bayesian network semantics for Petri nets
- Elementary transition systems
- Modelling mutual exclusion in a process algebra with time-outs
- An event structure semantics for general Petri nets
- A verified algorithm enumerating event structures
- From qualitative to quantitative semantics. By change of base
- Local model checking in a logic for true concurrency
- Formal relationships between geometrical and classical models for concurrency
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
- Producing Short Counterexamples Using “Crucial Events”
- Petri nets, traces, and local model checking
- A theory of distributed Markov chains
- Reduction of event structures under history preserving bisimulation
- Causal ambiguity and partial orders in event structures
- Well-behaved flow event structures for parallel composition and action refinement
- The mays and musts of concurrent strategies
- The configuration space of a robotic arm over a graph
- Event structures with disabling/enabling relation and event automata
- The configuration space of a robotic arm in a tunnel
- Towards a Truly Concurrent Semantics for Reversible CCS
- Graphical models of separation logic
- Merging relations: a way to compact Petri nets' behaviors uniformly
- Reversibility and asymmetric conflict in event structures
- Concurrent graph and term graph rewriting
- On obligations
- Circular causality in event structures
- A graph abstract machine describing event structure composition
- The inhibition spectrum and the achievement of causal consistency
- A compositional proof system on a category of labelled transition systems
- Interleaving set temporal logic
- Action refinement and property inheritance in systems of sequential agents
- Causal Unfoldings and Disjunctive Causes
- Refinement of actions for real-time concurrent systems with causal ambiguity
- On the origin of events: branching cells as stubborn sets
- Transactions and contracts based on reaction systems
- Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
- Sculptures in concurrency
- A generalized Kahn Principle for abstract asynchronous networks
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)
