default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgramming Concepts and Methods 1990: Sea of Galilee, Israel
- Manfred Broy, Cliff B. Jones:
Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990. North-Holland 1990, ISBN 0-444-88545-5 - Beverly A. Sanders:
Stepwise Refinement of Mixed Specifications of Concurrent Programs. Programming Concepts and Methods 1990: 1-26 - Rob J. van Glabbeek:
The Refinement Theorem for ST-bisimulation Semantics. Programming Concepts and Methods 1990: 27-52 - Rudolf Berghammer, Herbert Ehler, Bernhard Möller:
On the Refinement of Non-Deterministic Recursive Routines by Transformations. Programming Concepts and Methods 1990: 53-72 - Shmuel Katz, Ira R. Forman, Michael Evangelist:
Language Constructs for Distributed Systems. Programming Concepts and Methods 1990: 73-100 - Limor Fix, Nissim Francez, Orna Grumberg:
Sematics-Driven Decompositions for the Verification of Distributed Programs. Programming Concepts and Methods 1990: 101-124 - Yolanda Ortega-Mallén, David de Frutos-Escrig:
Timed Observations: A Semantic Model for Real-Time Concurrency. Programming Concepts and Methods 1990: 125-154 - Jan J. M. M. Rutten:
Deriving Denotational Models for Bisimulation from Structured Operational Semantics. Programming Concepts and Methods 1990: 155-178 - Ralph-Johan Back, Joakim von Wright:
Refinement Concepts Formalized in Higher Order Logic. Programming Concepts and Methods 1990: 179-200 - Matthias Weber:
Formalization of the Bird-Meertens Algorithmic Calculus in the Deva Meta-Calculus. Programming Concepts and Methods 1990: 201-232 - Ursula Martin, Tobias Nipkow:
Automating Squiggol. Programming Concepts and Methods 1990: 233-246 - Johan Jeuring:
Algorithms for Theorems. Programming Concepts and Methods 1990: 247-266 - Jules Desharnais, Nazim H. Madhavji:
Abstract Relational Specifications. Programming Concepts and Methods 1990: 267-284 - Albert Dietl:
Global Control for Communicating Processes. Programming Concepts and Methods 1990: 285-302 - Pierre America, Frank S. de Boer:
A Proof System for Process Creation. Programming Concepts and Methods 1990: 303-332 - Christine Lafontaine:
Formalization of the VDM Reification in the DEVA Meta-Calculus - The Human-Leucocyte-Antigen Case Study. Programming Concepts and Methods 1990: 333-368 - Stephen J. Garland, John V. Guttag:
Using LP to Debug Specifications. Programming Concepts and Methods 1990: 369-386 - David M. Goldschlag:
Mechanizing Unity. Programming Concepts and Methods 1990: 387-414 - Xavier Nicollin, Jean-Luc Richier, Joseph Sifakis, Jacques Voiron:
ATP: an Algebra for Timed Processes. Programming Concepts and Methods 1990: 415-442 - Alessandro Giacalone, Chi-Chang Jou, Scott A. Smolka:
Algebraic Reasoning for Probabilistic Concurrent Systems. Programming Concepts and Methods 1990: 443-458 - Jifeng He, Mark B. Josephs, Charles Antony Richard Hoare:
A Theory of Synchrony and Asynchrony. Programming Concepts and Methods 1990: 459-478 - Luca Cardelli, Xavier Leroy:
Abstract Types and the Dot Notation. Programming Concepts and Methods 1990: 479-504 - Furio Honsell, Simona Ronchi Della Rocca:
Reasoning About Interpretations in Qualitative λ-Models. Programming Concepts and Methods 1990: 505-522 - Martin C. Henson:
Information Loss in the Programming Logic TK. Programming Concepts and Methods 1990: 523-560 - Philip Wadler:
Linear Types can Change the World! Programming Concepts and Methods 1990: 561-
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-12-02 23:27 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:
