scientific article; zbMATH DE number 5263402

zbMATH Open1134.68431MaRDI QIDQ5457648

Florentin Olariu, Gabriel Ciobanu

Publication date: 14 April 2008

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

zbMATH Keywords

correspondencesequivalence relationprocess structures

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

A system of interaction and structure ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ An Interface Group for Process Components ⋮ Exploiting the structure of communication in actor systems ⋮ Synthesis of Data Views for Communicating Processes

Recommendations

• Specification-oriented semantics for communicating processes 👍 👎
• Semantics of communicating processes 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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 Q5457648)