default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 8
Volume 8, Number 1, 1996
- Paulo S. C. Alencar, Carlos José Pereira de Lucena:
A Logical Framework for Evolving Software Systems. 3-46 - Peter Gorm Larsen
, Bo Stig Hansen:
Semantics of Under-determined Expressions. 47-66 - Karen Seidel, Paul H. B. Gardiner:
Structured Development of a Virtual Shared Memory System. 67-85 - Martin Simons, Matthias Weber:
An Approach to Literate and Structured Formal Developments. 86-107 - David Billington, R. Geoff Dromey:
The Co-invariant Generator: An Aid in Deriving Loop Bodies. 108-126
Volume 8, Number 2, 1996
- Ketil Stølen, Frank Dederichs, Rainer Weber:
Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm. 127-161 - Padmanabhan Krishnan:
Architectural CCS. 162-187 - Jos C. M. Baeten, Jan A. Bergstra:
Discrete Time Process Algebra. 188-208 - Geoffrey Brown, Wayne Luk, John O'Leary:
Retargeting a Hardware Compiler Using Protokol Converters. 209-237 - Walter Hussak:
On CCS with Parametric Relabelling. 238-244
Volume 8, Number 3, 1996
- Giuseppe Castagna:
Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping. 247-293 - Ping Zhou, Jozef Hooman, Ruurd Kuiper:
Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic. 294-323 - Ralph-Johan Back, Kaisa Sere:
Superposition Refinement of Reactive Systems. 324-346 - Roger Duke, Cecily Bailes, Graeme Smith:
A Blocking Model for Reactive Objects. 347-368 - J. Michael Spivey:
The Consistency Theorem for Free Type Definitions in Z. 369-375
Volume 8, Number 4, 1996
- Matthew Hennessy, Huimin Lin:
Proof Systems for Message-Passing Process Algebras. 379-407 - David Scholefield:
Real-Time Refinement in Manna and Pnueli's Temporal Logic. 408-427 - Christoph Beierle, Egon Börger:
Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. 428-462 - Stefan Rönn:
Invariants and Closures in the Theory of Rewrite Systems. 463-478 - Andrew P. Martin, Paul H. B. Gardiner, Jim Woodcock:
A Tactic Calculus-Abridged Version. 479-489 - Mark Harman, Dan Simpson, Sebastian Danicic:
Slicing Programs in the Presence of Errors. 490-497
Volume 8, Number 5, 1996
- Nancy A. Lynch, Frits W. Vaandrager:
Action Transducers and Timed Automata. 499-538 - Christoph Beierle, Egon Börger:
Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. 539-564 - J. Michael Spivey:
Richer Types for Z. 565-584 - Scott A. Smolka, Bernhard Steffen:
Priority as Extremal Probability. 585-606 - Susanne Graf, Bernhard Steffen, Gerald Lüttgen:
Compositional Minimisation of Finite State Systems Using Interface Specifications. 607-616
Volume 8, Number 6, 1996
- Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders:
Refinement-Oriented Probability for CSP. 617-647 - Alban Ponse:
Computable Processes and Bisimulation Equivalence. 648-678 - Jeffery I. Zucker:
Transformations of Normal and Inverted Function Tables. 679-705 - Ruth Breu, Elena Zucca:
An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract). 706-715 - Murali Sitaraman:
Impact of Performance Considerations on Formal Specification Design. 716-736
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-24 17:13 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:
