<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "TAPAs: A Tool for the Analysis of Process Algebras"^^ . "Process algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to support the use of process algebras to specify and analyze concurrent systems. It does not aim at guaranteeing high performances, but has been developed as a support to teaching. Systems are described as process algebras terms that are then mapped to labelled transition systems (LTSs). Properties are verified either by checking equivalence of concrete and abstract systems descriptions, or by model checking temporal formulae over the obtained LTS. A key feature of TAPAs, that makes it particularly suitable for teaching, is that it maintains a consistent double representation of each system both as a term and as a graph. Another useful didactical feature is the exhibition of counterexamples in case equivalences are not verified or the proposed formulae are not satisfied."^^ . "2008" . . "1" . . "Springer"^^ . . "Springer"^^ . . . "T. Petri Nets and Other Models of Concurrency"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . "Jonathan"^^ . "Billington"^^ . "Jonathan Billington"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . "Francesco"^^ . "Calzolai"^^ . "Francesco Calzolai"^^ . . "Michele"^^ . "Loreti"^^ . "Michele Loreti"^^ . . "Wil"^^ . "M. P. van der Aalst"^^ . "Wil M. P. van der Aalst"^^ . . "Kurt"^^ . "Jensen"^^ . "Kurt Jensen"^^ . . . . . . "TAPAs: A Tool for the Analysis of Process Algebras (PDF)"^^ . . . "dNCLT_topnoc.pdf"^^ . . . "TAPAs: A Tool for the Analysis of Process Algebras (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "TAPAs: A Tool for the Analysis of Process Algebras (Other)"^^ . . . . . . "preview.jpg"^^ . . . "TAPAs: A Tool for the Analysis of Process Algebras (Other)"^^ . . . . . . "medium.jpg"^^ . . . "TAPAs: A Tool for the Analysis of Process Algebras (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #284 \n\nTAPAs: A Tool for the Analysis of Process Algebras\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .