Process calculi: E-LOTOS

MaRDI QIDQ2906938zbMATH OpenFDO

Authors Tomás Robles, Gabriel Huecas, Juan Quemada, Alberto Verdejo, Luis F. Llana-Díaz

Publication date 5 September 2012

zbMATH Keywords

E-LOTOSLOTOSprocess calculispecification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(1)

• Process Calculi à la Bird-Meertens

This page was built for publication: Process calculi: E-LOTOS

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