scientific article; zbMATH DE number 782044

MaRDI QIDQ4841301zbMATH OpenFDO

Authors Eneia Nicolae Todoran

Publication date 6 August 1995

zbMATH Keywords

process algebra languagespecificationverification

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 937812
• Linda-based applicative and imperative process algebras
• Towards a language for concurrent processes
• Process languages and nets
• scientific article; zbMATH DE number 1501631

Cited in

(8)

• Process languages and nets
• Process algebra with action dependencies
• scientific article; zbMATH DE number 139606 (Why is no real title available?)
• scientific article; zbMATH DE number 1337886 (Why is no real title available?)
• scientific article; zbMATH DE number 2079809 (Why is no real title available?)
• scientific article; zbMATH DE number 4001464 (Why is no real title available?)
• scientific article; zbMATH DE number 937812 (Why is no real title available?)
• A Generic Process Algebra

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