Concurrency and atomicity

DOI10.1016/0304-3975(88)90096-5MaRDI QIDQ1124366zbMATH OpenOpenAlexFDO

Authors Gérard Boudol, Ilaria Castellani

Publication date 1988

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00075804/file/RR-0748.pdf

zbMATH Keywords

nondeterminismPetri netsevent structuresoperational semantics``true concurrency

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theory of operating systems (68N25)

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

(40)

• Independence abstractions and models of concurrency
• New Bisimulation Semantics for Distributed Systems
• Four domains for concurrency
• Analysis of equivalence relations of event structures with continuous time
• A\(^ 2\)CCS: Atomic actions for CCS
• A partial ordering semantics for CCS
• scientific article; zbMATH DE number 4090776 (Why is no real title available?)
• Finite Petri nets as models for recursive causal behaviour
• Semantic domains of timed event structures
• scientific article; zbMATH DE number 176123 (Why is no real title available?)
• Configuration- and residual-based transition systems for event structures with asymmetric conflict
• Semantics of concurrent revisions
• Composing atomic features
• Petri nets are monoids
• Relation-based semantics for concurrency
• Concurrency: handling interference formally
• scientific article; zbMATH DE number 1759618 (Why is no real title available?)
• scientific article; zbMATH DE number 4121471 (Why is no real title available?)
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• N-free posets and orthomodularity
• Bestow and atomic: concurrent programming using isolation, delegation and grouping
• Comparing locality and causality based equivalences
• Some atomic operator's semantics in IPCL
• A general conservative extension theorem in process algebras with inequalities
• A reduced maximality labeled transition system generation for recursive Petri nets
• Universal axioms for bisimulations
• Characterising spectra of equivalences for event structures, logically
• On the expressive power of polyadic synchronisation in -calculus
• A criterion for atomicity
• scientific article; zbMATH DE number 3980464 (Why is no real title available?)
• Atomic actions, and their refinements to isolated protocols
• Finitary logics for some CCS observational bisimulations
• Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
• Behavioural characterizations of partial order logics
• scientific article; zbMATH DE number 3956419 (Why is no real title available?)
• A chart semantics for the pi-calculus
• Refinement of actions in event structures and causal trees
• On relating concurrency and nondeterminism
• Monitoring Atomicity in Concurrent Programs
• Expansion laws for forward-reverse, forward, and reverse bisimilarities via proved encodings

Describes a project that uses

Uses Software

• Esterel

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)