Priami, Corrado (1996) DEMOS at CONCUR96. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
Postscript (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (95Kb) |
Official URL: http://compass2.di.unipi.it/TR/files/TR-96-29.ps.g...
Abstract
Those that follow are the abstracts of the demonstrations at the CONCUR conference held in Pisa in August 1996. The demonstrations cover different aspects of theory of concurrency. They range from process algebras verifiers to model checkers as well as Petri nets support tools. There are also demonstrations on the check of security properties and performance analysis based on process algebra descriptions. Finally, a demonstration of game aspects with CWB is presented.
Item Type: | Book |
---|---|
Uncontrolled Keywords: | |
Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
Depositing User: | dott.ssa Sandra Faita |
Date Deposited: | 26 Jan 2015 08:50 |
Last Modified: | 26 Jan 2015 08:50 |
URI: | http://eprints.adm.unipi.it/id/eprint/1951 |
Repository staff only actions
View Item |