A consistent causality-based and interleaved view on a timed process algebra including timeouts
Conference Paper
Publication Date:
1996
abstract:
An abstract is not available.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Scienze matematiche e informatiche
List of contributors: