scientific article; zbMATH DE number 3748385

MaRDI QIDQ3932269zbMATH OpenFDO

Authors

Publication date 1981

zbMATH Keywords

communicating processescomputer systemsconcurrent systems designConferenceDistributed computing systemsdistributed systemslanguagesparallel programmingParisProceedingsprotocolsqueueingroutingscheduling

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68N99) Theory of software (68Nxx)

Cited in

(2)

• Computability and realizability for interactive computations
• Verifying of interface assertions for infinite state Mealy machines

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