scientific article; zbMATH DE number 1515325

MaRDI QIDQ4507869zbMATH OpenFDO

Authors Markus Kohn, Hartmut Schmeck

Publication date 29 July 2001

zbMATH Keywords

asynchronous netsasynchronous systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 2017354
• scientific article; zbMATH DE number 4201658
• Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench
• scientific article; zbMATH DE number 1303999
• scientific article; zbMATH DE number 4049572

Cited in

(8)

• Designing and using a single-step functional model of an asynchronous automaton
• A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
• Formal modelling and verification of GALS systems using GRL and CADP
• scientific article; zbMATH DE number 1949617 (Why is no real title available?)
• scientific article; zbMATH DE number 2017354 (Why is no real title available?)
• Applications and Theory of Petri Nets 2004
• Un modèle asynchrone pour les systèmes distribués. (An asynchronous model of distributed systems)
• Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols

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