Q3796726
type: Item
instance of: scholarly article
zbMATH Open document ID: 0651.68026
publication date: 1987-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N25
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 4062561
zbMATH Keywords: concurrent processes
zbMATH Keywords: fixed-point semantics
zbMATH Keywords: semantics for communicating processes
zbMATH Keywords: event structures
zbMATH Keywords: Petri nets
MaRDI profile type: Publication
Recommended article: Axiomatic semantics of communicating sequential processes
Recommended article: Q4723291
Recommended article: Q3030244
Recommended article: Denotational semantics of communicating sequential programs
Recommended article: A singleton failures semantics for communicating sequential processes
Recommended article: A Theory of Communicating Sequential Processes
Recommended article: A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes
Recommended article: Q3702497
Recommended article: Two complete axiom systems for a theory of communicating sequential processes
Recommended article: Denotational semantics of program schemas for languages for communicating sequential processes
description: scientific article