A context dependent equivalence between processes

DOI10.1016/0304-3975(87)90007-7MaRDI QIDQ1088404zbMATH OpenOpenAlexFDO

Authors Kim G. Larsen

Publication date 1987

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

Full work available at URL https://doi.org/10.1016/0304-3975(87)90007-7

zbMATH Keywords

context informationenvironmentsequivalences between nondeterministic and concurrent processesparameterized bisimulation equivalence

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Review text

Cf. the review of the preliminary version [Lect. Notes Comput. Sci. 194, 373-382 (1985)] in Zbl 0566.68023.

Cites work

• A calculus of communicating systems
• A complete inference system for a class of regular behaviours
• A lattice-theoretical fixpoint theorem and its applications
• A proof-theoretic characterization of observational equivalence
• A term model for synchronous processes
• A Theory of Communicating Sequential Processes
• Algebraic laws for nondeterminism and concurrency
• Calculi for synchrony and asynchrony
• scientific article; zbMATH DE number 3852428 (Why is no real title available?)
• scientific article; zbMATH DE number 3878352 (Why is no real title available?)
• scientific article; zbMATH DE number 3808928 (Why is no real title available?)
• scientific article; zbMATH DE number 3898221 (Why is no real title available?)
• scientific article; zbMATH DE number 3905833 (Why is no real title available?)
• scientific article; zbMATH DE number 3936485 (Why is no real title available?)
• scientific article; zbMATH DE number 3940709 (Why is no real title available?)
• scientific article; zbMATH DE number 3986627 (Why is no real title available?)
• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3744561 (Why is no real title available?)
• scientific article; zbMATH DE number 3754002 (Why is no real title available?)
• scientific article; zbMATH DE number 3471613 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• Testing equivalences for processes

Cited in

(20)

• Factorisation of finite state machines under strong and observational equivalences
• A compositional protocol verification using relativized bisimulation
• Experimenting with process equivalence
• A semantic characterization for faults in replicated systems
• On the operational semantics of nondeterminism and divergence
• SMT-based generation of symbolic automata
• A linear-time-branching-time spectrum for behavioral specification theories
• Compositional equivalences based on open pNets
• A theory for the composition of concurrent processes
• Active evaluation contexts for reaction semantics
• Extending modal transition systems with structured labels
• A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
• Topological construction of parameterized bisimulation limit
• scientific article; zbMATH DE number 3903949 (Why is no real title available?)
• scientific article; zbMATH DE number 1735902 (Why is no real title available?)
• Parametric and quantitative extensions of modal transition systems
• Programming Languages and Systems
• Modular verification for shared-variable concurrent programs
• Contextual behavioural metrics
• The need for compositional proof systems: a survey

This page was built for publication: A context dependent equivalence between processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1088404)