default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 13
Volume 13, Number 1, 2001
- Radu Grosu, Ketil Stølen:
Stream-Based Specification of Mobile Systems. 1-31 - Steven Vickers, Gillian Hill:
Presheaves as Configured Specifications. 32-49 - José Juan Pazos-Arias, Jorge García Duque:
SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. 50-91
Volume 13, Number 2, 2002
- John Cooke, B. Tim Denvir:
Editorial. 93 - Carsten Sühl:
An Overview of the Integrated Formalism RT-Z. 94-110 - John Derrick
, Eerke A. Boiten:
Combining Component Specifications in Object-Z and CSP. 111-127 - Graeme Smith, Ian J. Hayes:
An Introduction to Real-Time Object-Z. 128-141 - Brendan P. Mahony, Jin Song Dong:
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. 142-160 - Martin Große-Rhode:
Compositional Comparison of Formal Software Specifications Using Transformation Systems. 161-186
Volume 13, Number 3-5, 2002
- David E. Rydeheard, Donald Sannella:
A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science. 187-193 - Eleanor Kerse:
Ode to Rod Burstall. 194 - Peter J. Landin:
Rod Burstall: A Personal Note. 195 - Robin J. Popplestone:
POP, A Broad-Spectrum Programming Language, 1967-2002. 196-213 - David B. MacQueen:
Should ML be Object-Oriented? 214-232 - Alberto Pettorossi, Maurizio Proietti:
The List Introduction Strategy for the Derivation of Logic Programs. 233-251 - Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
Architectural Specifications in CASL. 252-273 - Joseph A. Goguen, Grigore Rosu:
Institution Morphisms. 274-307 - Edmund Robinson:
Variations on Algebra: Monadicity and Generalisations of Equational Theories. 308-326 - James J. Leifer, Robin Milner:
Shallow Linear Action Graphs and their Embeddings. 327-340 - Murdoch Gabbay, Andrew M. Pitts:
A New Approach to Abstract Syntax with Variable Binding. 341-363 - Gordon D. Plotkin:
Three Inadequate Models. 364-385 - Robert Pollack:
Dependently Typed Records in Type Theory. 386-402 - Jon Whittle, Alan Bundy, Richard J. Boulton:
Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor. 403-421 - Henk Barendregt:
The Ancient Theory of Mind. 422-429
Volume 13, Number 6, 2002
- Florentin Ipate, Mike Holcombe:
Testing Conditions for Communicating Stream X-machine Systems. 431-446 - Éric Badouel, Benoît Caillaud, Philippe Darondeau:
Distributing Finite Automata Through Petri Net Synthesis. 447-470 - Stein Krogdahl, Olav Lysne:
On Verification of Parallel Message-Passing Processes. 471-492
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-08 22:00 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:
