Basic observables for processes
type: Item
instance of: scholarly article
title: Basic observables for processes
zbMATH Open document ID: 0928.68013
author: Michele Boreale
author: Rocco De Nicola
author: Rosario Pugliese
published in: Information and Computation
publication date: 2000-01-12T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 1283686
zbMATH Keywords: functional programming
zbMATH Keywords: must preorder
MaRDI profile type: Publication
Wikidata QID: Q57650953
full work available at URL: inco.1998.2755
OpenAlex ID: W2012657211
cites work: An efficiency preorder for processes
cites work: Observing localities
cites work: A Theory of Communicating Sequential Processes
cites work: Distributed bisimulations
cites work: Extensional equivalences for transition systems
cites work: Testing equivalences for processes
cites work: Q4721641
cites work: A calculus of mobile agents
cites work: Q3997501
cites work: Q4733391
cites work: Q3777424
cites work: Trace, failure and testing equivalences for communicating processes
cites work: Q3992568
cites work: Barbed bisimulation
cites work: Divergence and fair testing
cites work: Nets, Terms and Formulas
cites work: Specification-oriented semantics for communicating processes
cites work: Failures semantics and deadlocking of modular Petri nets
cites work: CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
cites work: Q4036565
DBLP publication ID: journals/iandc/BorealeNP99
DOI: 10.1006/INCO.1998.2755
description: scientific article; zbMATH DE number 1283686