scientific article; zbMATH DE number 1852153

zbMath1002.68653MaRDI QIDQ4787220

Gérard Berry, Ellen Sentovich

Publication date: 9 January 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2144/21440110

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Mathematical problems of computer architecture (68M07)

Related Items (2)

Timed-pNets: a communication behavioural semantic model for distributed systems ⋮ Formal modelling and verification of GALS systems using GRL and CADP

Uses Software

• Esterel

This page was built for publication: