default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Aspects of Computing, Volume 3

> Home > Journals > Formal Aspects of Computing

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 3, Number 1, 1991

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/OweD91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/OweD91
Olaf Owe, Ole-Johan Dahl:
Generator Induction in Order Sorted Algebras. 2-20
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Broy91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Broy91
Manfred Broy:
Towards a Formal Foundation of the Specification and Description Language SDL. 21-57
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/StepneyWCG91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/StepneyWCG91
Susan Stepney, Dave Whitely, David Cooper, Colin Grant:
A Demonstrably Correct Compiler. 58-101

Volume 3, Number 2, 1991

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Barrett91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Barrett91
Geoff Barrett:
The Fixed Point Theory of Unbounded Non-Determinism. 110-128
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Cusack91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Cusack91
Elspeth Cusack:
Refinement, Conformance and Inheritance. 129-141
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BaetenB91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BaetenB91
Jos C. M. Baeten, Jan A. Bergstra:
Real Time Process Algebra. 142-188
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Sanders91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Sanders91
Beverly A. Sanders:
Eliminating the Substitution Axiom from UNITY Logic. 189-205

Volume 3, Number 3, 1991

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Hedberg91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Hedberg91
Michael Hedberg:
Normalising the Associative Law: An Experiment with Martin-Löf's Type Theory. 218-252
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/AlagarR91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/AlagarR91
Vangalur S. Alagar, Greetha Ramanathan:
Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems. 253-283
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/QinL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/QinL91
Huajun Qin, Philip Lewis:
Factorisation of Finite State Machines under Strong and Observational Equivalences. 284-307

Volume 3, Number 4, 1991

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Baumann91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Baumann91
Peter Baumann:
Towards a Semantics-Based Information Theory. 315-325
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Hennicker91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Hennicker91
Rolf Hennicker:
Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations. 326-345
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Hennessy91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Hennessy91
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.