Applying Formal Methods: Testing, Performance, and M/E-Commerce

DOI10.1007/B100825MaRDI QIDQ5394040zbMATH OpenOpenAlexFDO

Authors M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià

Publication date 24 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100825

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On performance congruences for process algebras
• Process algebra for performance evaluation
• Application research of process algebras on performance evaluation
• Mathematical Foundations of Computer Science 2003
• Process Algebra: An Algebraic Theory of Concurrency
• Performance analysis of concurrent systems in algebra dtsiPBC
• A process algebra for synchronous concurrent constraint programming
• Refinement of actions in a real-time process algebra with a true concurrency model
• An algebra of concurrent non-deterministic processes
• A bulk-synchronous parallel process algebra

Cited in

(4)

• On performance congruences for process algebras
• BAL tool in flexible manufacturing systems
• scientific article; zbMATH DE number 2104633 (Why is no real title available?)
• Bounded concurrency

This page was built for publication: Applying Formal Methods: Testing, Performance, and M/E-Commerce

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5394040)