scientific article; zbMATH DE number 4018368

zbMATH Open0626.68020MaRDI QIDQ3030237FDOQ3030237

Authors: Pierre America, Jaco de Bakker 

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

• Designing equivalent semantic models for process creation
• Semantic Correctness for a Parallel Object-Oriented Language
• scientific article; zbMATH DE number 52915
• Fully abstract denotational models for nonuniform concurrent languages
• Semantic models for concurrent logic languages

zbMATH Keywords

semanticstransition systemsparallel processesabstractionsparallel object- oriented language POOL

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (2)

• Metric semantics for concurrency
• Designing equivalent semantic models for process creation

This page was built for publication:

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