DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Guarded Command Language
Guarded Command Language
Probabilistic Models for the Guarded Command Language
An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language an Efficient Implementation of Guard-Based
Computing the Stabilization Times of Self-Stabilizing Systems
Beyond Structured Programming
Modelling and Analysis of Communicating Systems (Chapter 4)
Insight, Inspiration and Collaboration
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages Frank S
This Thesis Has Been Submitted in Fulfilment of the Requirements for a Postgraduate Degree (E.G
Mechanizing the Probabilistic Guarded Command Language
A Formal Methodology for Deriving Purely Functional Programs from Z Specifications Via the Intermediate Specification Language Funz
Model Checking and Logic Synthesis Using Spin (Lab)
Specification-Based Design of Self-Stabilization
LNCS 3167, Pp
A Structured Programming Approach to Data Ebook
A Language-Independent Static Checking System for Coding Conventions
Promela/SPIN
A Reversible Virtual Machine
Compile-Time Detection of Information Flow in Sequential Programs
Top View
Partial Order Reduction for Guarded Command Languages Frank S
On the Limits and Practice of Automatically Designing Self- Stabilization
Synthesis of Concurrent Programs for an Atomic Read/Write Model of Computation
Efficiency Analysis
Simulation and Validation Tool for Self-Stabilizing Protocols
Axiomatic Semantics for Compiler Verification
A Muddy Experience–ML Bindings to a BDD Library
Derivation of Quantum Guarded Command Language Program for Average
The Origins of Structural Operational Semantics
The Language List - Version 2.4, January 23, 1995
Theory-Specific Reasoning About Loops with Arrays Using Vampire
Unifying Theories in Proofpower-Z
Automated Generation of Loop Invariants Using Predicate Abstraction Krishnamani Kalyanasundaram, Claude Marché
Principles of Compilers
Semantics, Orderings and Recursion in the Weakest Precondition Calculus
Formal Derivations of Concurrent Algorithms
Promela/SPIN
Quantum Guarded-Command Language (Qgcl) for Maximum Value
A Selected Bibliography of Publications By, and About, Edsger W