scientific article; zbMATH DE number 4018370
From MaRDI portal
Publication:3030239
Recommendations
Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 7215282 (Why is no real title available?)
- scientific article; zbMATH DE number 7297883 (Why is no real title available?)
- On relating concurrency and nondeterminism
- Event structures for Petri nets with persistence
- Representation of computations in concurrent automata by dependence orders
- Transactions and contracts based on reaction systems
- Elementary transition systems and refinement
- Non sequential semantics for contextual P/T nets
- A graph abstract machine describing event structure composition
- Minimisation of event structures
- Flow unfolding of multi-clock nets
- Event structures for arbitrary disruption
- Concurrent semantics for fusions: weak prime domains and connected event structures
- On obligations
- Towards a categorical representation of reversible event structures
- scientific article; zbMATH DE number 1737501 (Why is no real title available?)
- A typed language for events
- On continuous time agents
- Schedulers and finishers: on generating the behaviours of an event structure
- Rabin's theorem in the concurrency setting: a conjecture
- Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
- Configuration- and residual-based transition systems for event structures with asymmetric conflict
- Bundle event structures: a revised cpo approach.
- Expressiveness of concurrent intensionality
- A verified algorithm enumerating event structures
- Weighted models for higher-order computation
- A truly concurrent process semantics over multi-pomsets of consumable resources
- Towards a Truly Concurrent Semantics for Reversible CCS
- A generalized Kahn Principle for abstract asynchronous networks
- scientific article; zbMATH DE number 7649892 (Why is no real title available?)
- Refinement of actions for real-time concurrent systems with causal ambiguity
- Unified mathematical framework for slicing and symmetry reduction over event structures
- A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
- Event Structure Semantics for Nominal Calculi
- Well-behaved flow event structures for parallel composition and action refinement
- On Scott's thesis for domains of information and well-quasi-orderings
- Petri nets, traces, and local model checking
- Causal ambiguity and partial orders in event structures
- Event Analytics
- Clustering for Petri nets
- Team bisimilarity, and its associated modal logic, for BPP nets
- Bayesian strategies: probabilistic programs as generalised graphical models
- Petri nets, traces, and local model checking
- On the hardness of proving CCA-security of Signed ElGamal
- Modeling event structures*
- scientific article; zbMATH DE number 7533330 (Why is no real title available?)
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
- EMSO-definability of some languages with event structures
- Causal Unfoldings and Disjunctive Causes
- Bayesian network semantics for Petri nets
- Membership problems for regular and context-free trace languages
- Contracts as games on event structures
- Denotational semantics in the cpo and metric approach
- Reversibility and models for concurrency
- Nested-unit Petri nets
- Non-deterministic information systems and their domains
- Recursive domain equations for concrete data structure
- On the nature of events: another perspective in concurrency
- Atomicity, coherence of information, and point-free structures
- Event structures with symmetry
- Unfolding-based diagnosis of systems with an evolving topology
- Reversibility and asymmetric conflict in event structures
- Sculptures in concurrency
- Concurrent graph and term graph rewriting
- On relating some models for concurrency
- Distributed temporal logic for the analysis of security protocol models
- Merging relations: a way to compact Petri nets' behaviors uniformly
- Configuration structures, event structures and Petri nets
- Unfolding Graph Transformation Systems: Theory and Applications to Verification
- Unfolding semantics of graph transformation
- Elementary transition systems
- Some behavioural aspects of net theory
- A compositional proof system on a category of labelled transition systems
- Interleaving set temporal logic
- The configuration space of a robotic arm over a graph
- Concurrent transition systems
- Petri nets and bisimulation
- Dynamical systems and sheaves
- Domain and event structure semantics for Petri nets with read and inhibitor arcs
- Objects and classes in Algol-like languages
- Towards an algebra for timed behaviours
- The difference between splitting in \(n\) and \(n+1\)
- Ensuring liveness properties of distributed systems: open problems
- Truly concurrent constraint programming
- Concurrency and atomicity
- Behavioural logics for configuration structures
- Process versus unfolding semantics for Place/Transition Petri nets
- The poset of infinitary traces
- Formal relationships between geometrical and classical models for concurrency
- Closure functions and general iterates as reflectors
- Partial Orders, Event Structures and Linear Strategies
- ST-structures
- scientific article; zbMATH DE number 4119660 (Why is no real title available?)
- An event structure semantics for general Petri nets
- Event structures and domains
- Algebra and theory of order-deterministic pomsets
- Circular causality in event structures
- Finite labelling problem in event structures
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
- Causality and true concurrency: A data-flow analysis of the Pi-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)
