Вы здесь

Главная

Univ.Edinburgh

Связанные издания:

A Complete Set of Axioms for a Theoty of Communicating Sequential Processes
A Diagramming Paradigm for Hierarchical Process Oriented Discrete Event Simulation
Algebras, Theories and Freeness: An Introduction for Computer Scientists
A Metalanguage for Interactive Proof in LCF
Analysing mutual exclusion algorithms using CCS
A Natural Deduction treatment of Operational Semantics
A Survey of Formal Software Development Methods
Automated Analysis of Mutual Exclusion Algorithms using CCS
Calculi for Synchrony and Asynchrony
Characteristic Formulae for CCS with Divergence
Co-induction in Relational Semantics
Denotational Semantics as a Programming Language
Finitary Relations and the Fair Merge
Future Branching Time Logics and Fairness
GOTOs - A Study in the Algebraic Specification of Programming Languages
Inductive Inference in Reflexive Domains
Laboratory for Foundations Computer Science, Annual Report 1987-88
Logical Design of VLSI Circuit with Extension of Uncertainty (or monotonic functional completeness of Kleene ternary logic)
Models and Operators for Nondeterministic Processes
Models of LCF
Proof-Theoretic Characterisations of Logic Programming
Self-independent Petri Nets (or a dead-lock-free paradigm)
Testing Equivalences for Processes
The Category-Theoretic Solution of Recursive Domain Equations
The Definition of Standart ML Version 3
The Nonexistence of Finite Axiomatisations for CCS congruences
XHDL: A development of CIRCAL. Its Graphical Representation and Simulation