Trace and testing equivalence on asynchronous processes
type: Item
instance of: scholarly article
title: Trace and testing equivalence on asynchronous processes
zbMATH Open document ID: 1009.68079
author: Michele Boreale
author: Rocco De Nicola
author: Rosario Pugliese
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1853234
describes a project that uses: Linda
MaRDI profile type: Publication
OpenAlex ID: W1969418483
Wikidata QID: Q57650904
cites work: On bisimulations for the asynchronous \(\pi\)-calculus
cites work: A calculus for cryptographic protocols: The spi calculus
cites work: A foundation for actor computation
cites work: Process algebra for synchronous communication
cites work: Testing equivalence for mobile processes
cites work: Bisimulations in the join-calculus
cites work: A process algebraic view of Linda coordination primitives
cites work: Testing equivalences for processes
cites work: Linda-based applicative and imperative process algebras
cites work: A process algebraic view of input/output automata
cites work: Q4219054
cites work: Generative communication in Linda
cites work: The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
cites work: A proof of the Kahn principle for input/output automata
cites work: Q3992568
cites work: A calculus of mobile processes. II
cites work: First-order axioms for asynchrony
DOI: 10.1006/INCO.2001.3080
description: scientific article; zbMATH DE number 1853234