Concurrency and atomicity
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4090776
- scientific article; zbMATH DE number 1023022
- scientific article; zbMATH DE number 17833
- Concurrency in synchronous systems
- Monitoring Atomicity in Concurrent Programs
- Concurrency and reversibility
- Concurrent Programming
- scientific article; zbMATH DE number 42962
- Nebenläufige Programme
Cites work
- scientific article; zbMATH DE number 4014017 (Why is no real title available?)
- scientific article; zbMATH DE number 4018369 (Why is no real title available?)
- scientific article; zbMATH DE number 4018370 (Why is no real title available?)
- scientific article; zbMATH DE number 3852428 (Why is no real title available?)
- scientific article; zbMATH DE number 3808928 (Why is no real title available?)
- scientific article; zbMATH DE number 3808941 (Why is no real title available?)
- scientific article; zbMATH DE number 3821089 (Why is no real title available?)
- scientific article; zbMATH DE number 3821120 (Why is no real title available?)
- scientific article; zbMATH DE number 3898215 (Why is no real title available?)
- scientific article; zbMATH DE number 3903950 (Why is no real title available?)
- scientific article; zbMATH DE number 3919813 (Why is no real title available?)
- scientific article; zbMATH DE number 3924146 (Why is no real title available?)
- scientific article; zbMATH DE number 3924152 (Why is no real title available?)
- scientific article; zbMATH DE number 3926231 (Why is no real title available?)
- scientific article; zbMATH DE number 3967898 (Why is no real title available?)
- scientific article; zbMATH DE number 3967922 (Why is no real title available?)
- scientific article; zbMATH DE number 3974312 (Why is no real title available?)
- scientific article; zbMATH DE number 3986626 (Why is no real title available?)
- scientific article; zbMATH DE number 3990850 (Why is no real title available?)
- scientific article; zbMATH DE number 4030999 (Why is no real title available?)
- scientific article; zbMATH DE number 4037225 (Why is no real title available?)
- scientific article; zbMATH DE number 3683033 (Why is no real title available?)
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- scientific article; zbMATH DE number 3735177 (Why is no real title available?)
- scientific article; zbMATH DE number 3735770 (Why is no real title available?)
- scientific article; zbMATH DE number 3594615 (Why is no real title available?)
- scientific article; zbMATH DE number 3639136 (Why is no real title available?)
- scientific article; zbMATH DE number 568838 (Why is no real title available?)
- scientific article; zbMATH DE number 795666 (Why is no real title available?)
- A Theory of Communicating Sequential Processes
- A calculus of communicating systems
- A partial ordering semantics for CCS
- A structural approach to operational semantics
- Algebraic laws for nondeterminism and concurrency
- Algèbre de processus et synchronisation
- An implementation of mutual inclusion
- Behaviours of concurrent systems
- Bisimulations and abstraction homomorphisms
- Calculi for synchrony and asynchrony
- Combinatorial problems of commutation and rearrangements
- Concurrent Machines
- Distributed bisimulations
- Extensional equivalences for transition systems
- Guardians and Actions: Linguistic Support for Robust, Distributed Programs
- Higher-level synchronising devices in Meije-SCCS
- Maximal chains and antichains
- Minimal and Optimal Computations of Recursive Programs
- Modeling concurrency with partial orders
- N-free posets as generalizations of series-parallel posets
- Petri nets, event structures and domains. I
- Sequencing Jobs to Minimize Total Weighted Completion Time Subject to Precedence Constraints
- Testing equivalences for processes
- The Recognition of Series Parallel Digraphs
- The non-sequential behaviour of Petri nets
- Topology of series-parallel networks
Cited in
(38)- On the expressive power of polyadic synchronisation in \(\pi \)-calculus
- Comparing locality and causality based equivalences
- Concurrency: handling interference formally
- A chart semantics for the pi-calculus
- Atomic actions, and their refinements to isolated protocols
- On relating concurrency and nondeterminism
- A\(^ 2\)CCS: Atomic actions for CCS
- A partial ordering semantics for CCS
- scientific article; zbMATH DE number 1759618 (Why is no real title available?)
- scientific article; zbMATH DE number 3980464 (Why is no real title available?)
- scientific article; zbMATH DE number 4121471 (Why is no real title available?)
- A criterion for atomicity
- Finitary logics for some CCS observational bisimulations
- A reduced maximality labeled transition system generation for recursive Petri nets
- Universal axioms for bisimulations
- scientific article; zbMATH DE number 3956419 (Why is no real title available?)
- Configuration- and residual-based transition systems for event structures with asymmetric conflict
- Behavioural characterizations of partial order logics
- Some atomic operator's semantics in IPCL
- A general conservative extension theorem in process algebras with inequalities
- Independence abstractions and models of concurrency
- scientific article; zbMATH DE number 176123 (Why is no real title available?)
- Relation-based semantics for concurrency
- Composing atomic features
- Monitoring Atomicity in Concurrent Programs
- Semantics of concurrent revisions
- Refinement of actions in event structures and causal trees
- Finite Petri nets as models for recursive causal behaviour
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
- Characterising spectra of equivalences for event structures, logically
- New Bisimulation Semantics for Distributed Systems
- Analysis of equivalence relations of event structures with continuous time
- Petri nets are monoids
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
- Bestow and atomic: concurrent programming using isolation, delegation and grouping
- Semantic domains of timed event structures
- Four domains for concurrency
- scientific article; zbMATH DE number 4090776 (Why is no real title available?)
This page was built for publication: Concurrency and atomicity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1124366)
