COALA - A Formal Language for Coordinated Atomic Actions
Publication date1998
Abstract
Citation (ISO format)
DI MARZO SERUGENDO, Giovanna et al. COALA - A Formal Language for Coordinated Atomic Actions. In: Design for Validation (DeVa) - Third Year Report, Esprit LTR Project 20072 - Deliverables: Part 2 (Papers). [s.l.] : [s.n.], 1998. p. 43–86.
Main files (1)
Proceedings chapter (Accepted version)
Identifiers
- PID : unige:48373
Commercial URLhttp://infoscience.epfl.ch/record/54635