Process calculi: E-LOTOS

Authors:
Tomás Robles;Gabriel Huecas;Juan Quemada;Alberto Verdejo;Luis F. Llana-Díaz
Affiliations:
Univ. Politécnica de Madrid, Madrid, Spain;Univ. Politécnica de Madrid, Madrid, Spain;Univ. Politécnica de Madrid, Madrid, Spain;Univ. Compultense de Madrid, Madrid, Spain;Univ. Compultense de Madrid, Madrid, Spain
Venue:
Formal methods for distributed processing
Year:
2001

Communicating sequential processes

Communicating sequential processes
A timed model for communicating sequential processes

International Colloquium on Automata, Languages and Programming on Automata, languages and programming
A timed model for communicating sequential processes

Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Communication and concurrency

Communication and concurrency
An operational semantics for timed CSP

Information and Computation
A timed LOTOS extension

Theories and experiences for real-time system development
A process algebra for timed systems

Information and Computation
The timed failures-stability model for CSP

Theoretical Computer Science

Hi-index	0.00

In this chapter we discuss a process algebraic approach to specification and introduce the LOTOS language and its extension, E-LOTOS.