Entry Cleaveland:1993:CWS from toplas.bib

Last update: Tue May 1 02:05:46 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Cleaveland:1993:CWS,
  author =       "Rance Cleaveland and Joachim Parrow and Bernhard
                 Steffen",
  title =        "The {Concurrency Workbench}: {A} Semantics-Based Tool
                 for the Verification of Concurrent Systems",
  journal =      j-TOPLAS,
  volume =       "15",
  number =       "1",
  pages =        "36--72",
  month =        jan,
  year =         "1993",
  CODEN =        "ATPSDT",
  ISSN =         "0164-0925 (print), 1558-4593 (electronic)",
  ISSN-L =       "0164-0925",
  bibdate =      "Fri Jan 5 07:58:42 MST 1996",
  bibsource =    "Compiler/TOPLAS.bib;
                 http://www.math.utah.edu/pub/tex/bib/toplas.bib",
  URL =          "http://www.acm.org/pubs/toc/Abstracts/0164-0925/151648.html",
  abstract =     "The Concurrency Workbench is an automated tool for
                 analyzing networks of finite-state processes expressed
                 in Milner's Calculus of Communicating Systems. Its key
                 feature is its breadth: a variety of different
                 verification methods, including equivalence checking,
                 preorder checking, and model checking, are supported
                 for several different process semantics. One experience
                 from our work is that a large number of interesting
                 verification methods can be formulated as combinations
                 of a small number of primitive algorithms. The
                 Workbench has been applied to the verification of
                 communications protocols and mutual exclusion
                 algorithms and has proven a valuable aid in teaching
                 and research.",
  acknowledgement = ack-nhfb # " and " # ack-pb,
  fjournal =     "ACM Transactions on Programming Languages and
                 Systems",
  keywords =     "design; reliability; verification",
  subject =      "{\bf F.3.1}: Theory of Computation, LOGICS AND
                 MEANINGS OF PROGRAMS, Specifying and Verifying and
                 Reasoning about Programs, Mechanical verification. {\bf
                 F.3.1}: Theory of Computation, LOGICS AND MEANINGS OF
                 PROGRAMS, Specifying and Verifying and Reasoning about
                 Programs, Specification techniques. {\bf D.2.2}:
                 Software, SOFTWARE ENGINEERING, Tools and Techniques,
                 Programmer workbench. {\bf D.2.4}: Software, SOFTWARE
                 ENGINEERING, Program Verification. {\bf C.2.2}:
                 Computer Systems Organization, COMPUTER-COMMUNICATION
                 NETWORKS, Network Protocols, Protocol verification.",
}

Related entries