Library

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
back to result list
  • 1
    Electronic Resource
    Electronic Resource
    Automatic verification of distributed systems: The process algebra approach (1996)
    Springer
    Formal methods in system design 8 (1996), S. 7-38 
    Details
    ISSN: 1572-8102
    Keywords: distributed and concurrent systems ; automatic verification ; process algebra ; tools
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A survey of tools for the analysis of distributed systems represented through process algebras is presented. The tools are compared with respect to a set of qualitative parameters. From this analysis, the properties which are desirable for concurrency tools are investigated. Criteria to evaluate the suitability of a tool with respect to a particular user are proposed.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00121261
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...