Formal Aspects of Computing 2/1998 | springerprofessional.de

Springer Professional

Top

Formal Aspects of Computing

Content (5 Articles)

Original Paper

Specifying and Refining Internal Operations in Z

John Derrick, Eerke Boiten, Howard Bowman, Maarten Steen

Original Paper

A Note on Kobayashi's and Yonezawa's “Asynchronous Communication Model Based on Linear Logic”

Philippe de Groote, Guy Perrier

Short Communication

Expressive Power of Specification Languages

Ian J. Hayes

Original Paper

Winskel is (almost) Right: Towards a Mechanized Semantics Textbook

Tobias Nipkow

Original Paper

A Program Refinement Tool

D. Carrington, I. Hayes, R. Nickson, G. Watson, J. Welsh

Advertisement

Current Publications

Formal Aspects of Computing 6/2021
Formal Aspects of Computing 4-5/2021
Extended versions of papers presented at FM 2019
Formal Aspects of Computing 3/2021
Formal Methods and AI
Formal Aspects of Computing 2/2021
Formal Aspects of Computing 1/2021
EXTENDED VERSIONS OF PAPERS PRESENTED AT FM 2018
Formal Aspects of Computing 4-6/2020
Formal Aspects of Computing 2-3/2020
Formal Methods for Robotics
Formal Aspects of Computing 1/2020
Formal Aspects of Computing 6/2019
SPECIAL ISSUE ON HISTORY OF FORMAL METHODS
Formal Aspects of Computing 5/2019
EXTENDED VERSIONS OF SELECTED PAPERS PRESENTED AT FASE 2018

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner