default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 1
Volume 1, Number 1, 1989
- Martyn Thomas:
Development Methods for Trusted Computer Systems. 5-18 - Roland Carl Backhouse
, Paul Chisholm:
Do-It-Yourself Type Theory. 19-84 - Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George:
The RAISE Language, Method and Tools. 85-114 - Cornelis A. Middelburg:
VVSL: A Language for Structured VDM Specifications. 115-135
Volume 1, Number 2, 1989
- C. T. Burton, S. J. Cook, S. Gikas, J. R. Rowson, S. T. Sommerville:
Specifying the Apple Macintosh Toolbox Event Manager. 147-171 - Martin C. Henson:
Program Development in the Constructive Set Theory TK. 173-192 - Matthew M. Huntbach:
Meta-interpreters and Partial Evaluation in Parlog. 193-211
Volume 1, Number 3, 1989
- Marta Z. Kwiatkowska:
Event Fairness and Non-interleaving Concurrency. 213-228 - Jifeng He:
Process Simulation and Refinement. 229-241 - Sören Holmström:
A Refinement Calculus for Specifications in Hennessy-Milner Logic with Recursion. 242-272 - D. J. Walker:
Automated Analysis of Mutual Exclusion Algorithms using CCS. 273-292
Volume 1, Number 4, 1989
- Peter Dybjer, Herbert P. Sander:
A Functional Programming Approach to the Specification and Verification of Concurrent Systems. 303-319 - Tobias Nipkow:
Term Rewriting and Beyond - Theorem Proving in Isabelle. 320-338 - Simon J. Thompson:
A Logic for Miranda. 339-365 - Pierre America:
Issues in the Design of a Parallel Object-Oriented Language. 366-411
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 2024-12-17 21: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:
