JavaScript is disabled for your browser. Some features of this site may not work without it.
Proceedings of the North American Process Algebra Workshop 1993 - Ithaca, NY

Author
Bloom, Bard
Abstract
This contains the papers presented at the second North American Process Algebra Workshop, August 15, 1993, at Cornell University. Contents: * A Semantic Theory for ML Higher Order Concurrency Primitives (Dominique Bolignano and Mourad Debabi) * An Operational Semantics of Value Passing (Rance Cleaveland) * An Information Flow Security Property for CCS (Riccardo Focardi and Roberto Gorrieri) * Concurrent Kripke Structures (Vineet Gupta) * Specification of Instruction-Level Parallelism (Ed Harcourt and Jon Mauney and Todd Cook) * Specification of Transition Systems with Negation (Remi Lissajoux) * A Comparison of Simulation and Algebraic Techniques for Verifying Concurrent Systems (Nancy Lynch and Roberto Segala) * A note on Model Checking Context Free Processes (S. Purushothaman Iyer) * State Refinement in Process Algebra (Andrew Uselton and Scott Smolka) * Parametric Preorders for Process Description Languages (Daniel Yankelevich)
Date Issued
1993-08Publisher
Cornell University
Subject
computer science; technical report
Previously Published As
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR93-1369
Type
technical report