scientific article; zbMATH DE number 3827179
From MaRDI portal
Publication:3673079
zbMATH Open0522.68019MaRDI QIDQ3673079FDOQ3673079
Publication date: 1983
Title of this publication is not available (Why is that?)
semanticscommunication networksconcurrencyhigh-level Petri netsepsilonring-structured transport systemsystem description languagetop-down specification and verification of distributed systems
General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
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 Q3673079)
