default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 5
Volume 5, Number 1, 1993
- Rance Cleaveland, Matthew Hennessy:
Testing Equivalence as a Bisimulation Equivalence. 1-20 - P. J. A. Lentfert, S. Doaitse Swierstra:
Distributed Maximum Maintenance on Hierarchically Divided Graphs. 21-60 - Richard S. Bird, Oege de Moor:
List Partitions. 61-78 - Thierry Massart, Raymond Devillers:
Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions. 79-88
Volume 5, Number 2, 1993
- A. Bucci, Paola Inverardi, Simone Martini
:
An 'Executable' Impredicative Semantics for the Ada Configuration. 91-120 - Debora Weber-Wulff:
Proof Movie - A Proof with the Boyer-Moore Prover. 121-151 - Alan Williams:
The Applicability of Discrete Performance Estimation Methods to VLSI Design. 152-176
Volume 5, Number 3, 1993
- Andreas V. Hense:
Denotational Semantics of an Object-Oriented Programming Language with Explicit Wrappers. 181-207 - Olaf Owe:
Partial Logics Reconsidered: A Conservative Approach. 208-223 - Juan Quemada, David de Frutos-Escrig, Arturo Azcorra:
TIC: A TImed Calculus. 224-252 - Carlos Miguel, Angel Fernández, Leon Vidaller:
LOTOS Extended with Probablistic Behaviours. 253-281
Volume 5, Number 4, 1993
- Bill Stoddart, Peter J. Knaggs:
Type Interference in Stack Based Languages. 289-298 - Paul Mukherjee, Victoria Stavridou:
The Formal Specification of Safety Requirements for Storing Explosives. 299-336 - Esther Dennis-Jones, David E. Rydeheard:
Categorical ML - Category-Theoretic Modular Programming. 337-366 - Paul H. B. Gardiner, Carroll Morgan:
A Single Complete Rule for Data Refinement. 367-382
Volume 5, Number 5, 1993
- Matthias Weber:
Definition and Basic Properties of the Deva Meta-Calculus. 391-431 - Matthew Hennessy, Anna Ingólfsdóttir:
Communicating Processes with Value-passing and Assignments. 432-466 - Gordon J. Brebner:
A CCS-based Investigation of Deadlock in a Multi-process Electronic Mail System. 467-478
Volume 5, Number 6, 1993
- Jos C. M. Baeten, Jan A. Bergstra:
Real space process algebra. 481-529 - Jim Davies, Steve A. Schneider:
Recursion Induction for Real-Time Processes. 530-553 - Wim H. Hesselink:
Proof Rules for Recursive Procedures. 554-570
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-11-20 00:16 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:
