scientific article; zbMATH DE number 1979561

zbMath1019.68616MaRDI QIDQ4427917

Josep Carmona, Jordi Cortadella

Publication date: 14 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2517/25170360.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Petri netsReactive systemsTrace theoryObservational equivalenceConformationInput/Output compatibilitySynchronous product

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Compatibility in a multi-component environment ⋮ Transformations in Reconfigurable Place/Transition Systems ⋮ Can we communicate? Using dynamic logic to verify team automata ⋮ Component refinement and CSC-solving for STG decomposition ⋮ Moving from interface theories to assembly theories

This page was built for publication: