default search action
Formal Aspects of Computing, Volume 2
Volume 2, Number 1, 1990
- José Nuno Oliveira
:
A Reification Calculus for Model-Oriented Software Specification. 1-23 - José Carmo
Branching versus Linear Logics Yet Again. 24-59 - Wim H. Hesselink:
Command Algebras, Recursion and Program Transformation. 60-104
Volume 2, Number 2, April-June 1990
- Helmuth Partsch, Frank A. Stomp:
A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning. 109-122 - Eike Best, Jörg Desel:
Partial Order Behaviour and Structure of Petri Nets. 123-138 - Wim H. Hesselink:
Axioms and Models of Linear Logic. 139-166 - Jayadev Misra:
Equational Reasoning About Nondeterministic Processes. 167-195
Volume 2, Number 3, 1990
- Miki Hermann:
Chain Properties of Rule Closures. 207-225 - Xudong He, John A. N. Lee:
Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems. 226-246 - Ralph-Johan Back, Joakim von Wright:
Refinement Concepts Formalised in Higher Order Logic. 247-272 - Christian Lengauer, Jeff W. Sanders:
The Projection of Systolic Programs. 273-293
Volume 2, Number 4, 1990
- Huimin Lin, Man-Chi Pong:
Modelling Multiple Inheritance with Colimits. 301-311 - Alain Ah-kee:
Proof Obligations for Blocks and Procedures. 312-330 - Mike Stannett
X-Machines and the Halting Problem: Building a Super-Turing Machine. 331-341 - Nandit Soparkar, Abraham Silberschatz:
On the Interconnection Constants of Hopfield Nets. 342-358 - Nigel P. Chapman:
Defining, Analysing and Implementing Communication Protocols Using Attribute Grammars. 359-392
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-03 20:18 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: