Proceedings of the North American Process Algebra Workshop 1993 - Ithaca, NY

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)