default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 3
Volume 3, Number 1, 1991
- Olaf Owe
, Ole-Johan Dahl:
Generator Induction in Order Sorted Algebras. 2-20 - Manfred Broy:
Towards a Formal Foundation of the Specification and Description Language SDL. 21-57 - Susan Stepney, Dave Whitely, David Cooper, Colin Grant:
A Demonstrably Correct Compiler. 58-101
Volume 3, Number 2, 1991
- Geoff Barrett:
The Fixed Point Theory of Unbounded Non-Determinism. 110-128 - Elspeth Cusack:
Refinement, Conformance and Inheritance. 129-141 - Jos C. M. Baeten, Jan A. Bergstra:
Real Time Process Algebra. 142-188 - Beverly A. Sanders:
Eliminating the Substitution Axiom from UNITY Logic. 189-205
Volume 3, Number 3, 1991
- Michael Hedberg:
Normalising the Associative Law: An Experiment with Martin-Löf's Type Theory. 218-252 - Vangalur S. Alagar, Greetha Ramanathan:
Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems. 253-283 - Huajun Qin, Philip Lewis:
Factorisation of Finite State Machines under Strong and Observational Equivalences. 284-307
Volume 3, Number 4, 1991
- Peter Baumann:
Towards a Semantics-Based Information Theory. 315-325 - Rolf Hennicker:
Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations. 326-345 - Matthew Hennessy:
A Proof Sustem for Communicating Processes with Value-Passing. 346-366
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 19:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
