Processes and the denotational semantics of concurrency

DOI10.1016/S0019-9958(82)91250-5zbMath0508.68011MaRDI QIDQ4746777

Publication date: 1982

Published in: Information and Control (Search for Journal in Brave)

communication parallelism synchronization domain equations metric topology semantics of concurrency languages with concurrency processes as elements of process domains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items

Banach's fixed-point theorem as a base for data-type equations, Merging regular processes by means of fixed-point theory, A hierarchy of domains for real-time distributed computing, On sequential composition, action prefixes and process prefix, Three metric domains of processes for bisimulation, Topological models for higher order control flow, The asymmetric topology of computer science, De Bakker-Zucker processes revisited, Recursively defined metric spaces without contraction, Infinite streams and finite observations in the semantics of uniform concurrency, Linear time and branching time semantics for recursion with merge, A general construction of hyperuniverses, Processes as terms: non-well-founded models for bisimulation, Global renaming operators in concrete process algebra, Transition systems, metric spaces and ready sets in the semantics of uniform concurrency, Designing equivalent semantic models for process creation, A timed model for communicating sequential processes, Metric semantics for concurrency, On the uniqueness of fixed points of endofunctors in a category of complete metric spaces, The connection between initial and unique solutions of domain equations in the partial order and metric approach, Choice principles in hyperuniverses, The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces, The category-theoretic solution of recursive metric-space equations, Execution architectures for program algebra, Terminal metric spaces of finitely branching and image finite linear processes, Decision problems for pushdown threads, Processes and hyperuniverses, Denotational semantics of membrane systems by using complete metric spaces, The equational logic of fixed points, Trees and semantics, Notes on the methodology of CCS and CSP, Continuity spaces: Reconciling domains and metric spaces, A semantic theory for value-passing processes based on the late approach, A generalization of Ćirić quasicontractions, Keep it fair: equivalence and composition, Nonwellfounded sets and programming language semantics, Issues in the design of a parallel object-oriented language, Combining data type and recursive process specifications using projection algebras, Denotational semantics of a parallel object-oriented language, A metric for traces, A relational realizability model for higher-order stateful ADTs, Comparative metric semantics for concurrent PROLOG, Step semantics for ``true concurrency with recursion, A Higher-Order Calculus of Computational Fields, Contractions in comparing concurrency semantics, Isometries between a metric space and its hyperspace, function space, and space of measures., Idempotent probability measures on ultrametric spaces, Unnamed Item, Towards a foundation for semantics in complete metric spaces, Domain theory in logical form, Semantic models for concurrent logic languages, Four domains for concurrency, Rooted branching bisimulation as a congruence, Denotational linear time semantics and sequential composition, Nondeterminism and infinite computations in constraint programming, Metric completion versus ideal completion, Synchronous cooperation for explicit multi-threading, A fixed-point theorem in a category of compact metric spaces, Denotational semantics for thread algebra, A layered semantics for a parallel object-oriented language, From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic, On effective topological spaces, Approximation in quantale-enriched categories, Computable total functions on metric algebras, universal algebraic specifications and dynamical systems, Metric semantics for true concurrent real time, An introduction to metric semantics: Operational and denotational models for programming and specification languages, Formal specification and analysis of production systems, A brief history of process algebra, A thread calculus with molecular dynamics, Fixed point equations with parameters in the projective model, Underspecification for a simple process algebra of recursive processes., Computability on computable metric spaces, Enhancing Automata Learning by Log-Based Metrics, Risk assessment for one-counter threads, Static Livelock Analysis in CSP, Solving reflexive domain equations in a category of complete metric spaces, A fixed point approach to parallel discrete event simulation, Correctness checking of a quantum protocol for reliable communications via feedback, Strictly causal functions have a unique fixed point, Unique, guarded fixed points in an additive setting, Topology, domain theory and theoretical computer science, Denotational models for programming languages: Applications of Banach's fixed point theorem, Polarized process algebra with reactive composition, A denotational semantics for shared-memory parallelism and nondeterminism, A linear-history semantics for languages for distributed programming, Toward an infinitary logic of domains: Abramsky logic for transition systems, On the suitability of trace semantics for modular proofs of communicating processes, Specification-oriented semantics for communicating processes, Denotational semantics of CSP, Rendez-vous with metric semantics, Comparative semantics for flow of control in logic programming without logic, Algebra of communicating processes with abstraction, The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\), Two Cartesian closed subcategories of fuzzy domains, Bisimulation indexes and their applications, The connection between an event structure semantics and an operational semantics for TCSP