scientific article; zbMATH DE number 140242

zbMATH Open0769.68096MaRDI QIDQ4028631FDOQ4028631

Authors: Sergio Pavon, M. Hultström, Juan Quemada, David de Frutos, Yolanda Ortega 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1173830
• scientific article; zbMATH DE number 4033100
• scientific article; zbMATH DE number 140241
• scientific article; zbMATH DE number 4005594
• Gate splitting in LOTOS specifications using abstract interpretation

zbMATH Keywords

parallelismobservational equivalenceLOTOSInverse Expansion

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• Modified straightforward expansion

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