On the implementation of concurrent calculi in net calculi: two case studies
type: Item
instance of: scholarly article
title: On the implementation of concurrent calculi in net calculi: two case studies
zbMATH Open document ID: 0873.68144
DOI: 10.1016/0304-3975(94)00073-R
author: Roberto Gorrieri
author: Ugo Montanari
published in: Theoretical Computer Science
publication date: 1997-02-28T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 985764
zbMATH Keywords: Petri net
zbMATH Keywords: RCCS
describes a project that uses: UNITY
MaRDI profile type: Publication
cites work: The chemical abstract machine
cites work: Sequential and concurrent behaviour in Petri net theory
cites work: Q4733397
cites work: Q4692502
cites work: A partial ordering semantics for CCS
cites work: A distributed operational semantics of CCS based on condition/event systems
cites work: Q4733427
cites work: Q3821598
cites work: Q3210197
cites work: Q4027626
cites work: Q3675536
cites work: The non-sequential behaviour of Petri nets
cites work: Finite Petri nets as models for recursive causal behaviour
cites work: A\(^ 2\)CCS: Atomic actions for CCS
cites work: Q4162645
cites work: Q5639839
cites work: Equational type logic
cites work: Petri nets are monoids
cites work: A complete inference system for a class of regular behaviours
cites work: Q3992568
cites work: An algebraic view of interleaving and distributed operational semantics for CCS
cites work: Nets, Terms and Formulas
cites work: Q3907077
cites work: Q3670575
cites work: Finite representations of CCS and TCSP programs by automata and Petri nets
cites work: Q3667958
cites work: Petri nets, algebras, morphisms, and compositionality
full work available at URL: 0304-3975(94)00073-r
OpenAlex ID: W1988204590
Recommended article: Concurrent nets: a study of prefixing in process calculi
Recommended article: Toward the concurrent implementation of computational systems
Recommended article: Concurrent calculus (CC) and its properties
Recommended article: A calculus for concurrent objects
Recommended article: Q4721640
Recommended article: A confluent calculus for concurrent constraint programming
Recommended article: Network Conscious π-calculus: A Concurrent Semantics
Recommended article: On implementations and semantics of a concurrent programming language
description: scientific article; zbMATH DE number 985764