Travelled to:
1 × Italy
Collaborated with:
A.Giovini F.Morando
Talks about:
implement (1) prototyp (1) toolset (1) concurr (1) algebra (1) system (1) specif (1)
Person: Antonio Capani
DBLP: Capani:Antonio
Contributed to:
Wrote 1 papers:
- ALP-1992-GioviniMC #algebra #concurrent #implementation #prototype #specification #tool support
- Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems (AG, FM, AC), pp. 335–349.