Modèles non déterministes de types abstraits
RAIRO. Inform. théor., 16 3 (1982) 225-244
Published online: 2017-02-01
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
Concurrent Kleene Algebra and its Foundations
Tony Hoare, Bernhard Möller, Georg Struth and Ian WehrmanThe Journal of Logic and Algebraic Programming 80 (6) 266 (2011)
https://doi.org/10.1016/j.jlap.2011.04.005
Shorter paths to graph algorithms
Bernhard Möller and Martin RusslingScience of Computer Programming 22 (1-2) 157 (1994)
https://doi.org/10.1016/0167-6423(94)90011-6
Formal Methods in Programming and Their Applications
Bernhard MöllerLecture Notes in Computer Science, Formal Methods in Programming and Their Applications 735 394 (1993)
https://doi.org/10.1007/BFb0039722
Mathematics of Program Construction
Bernhard Möller and Martin RusslingLecture Notes in Computer Science, Mathematics of Program Construction 669 250 (1993)
https://doi.org/10.1007/3-540-56625-2_17
Formal Program Development
Bernhard MöllerLecture Notes in Computer Science, Formal Program Development 755 123 (1993)
https://doi.org/10.1007/3-540-57499-9_19
Formal Models and Semantics
Martin WIRSINGFormal Models and Semantics 675 (1990)
https://doi.org/10.1016/B978-0-444-88074-1.50018-4
Algebraic Techniques
B. COURCELLEAlgebraic Techniques 93 (1989)
https://doi.org/10.1016/B978-0-12-046370-1.50009-7
Equivalences and transformations of regular systems—Applications to recursive program schemes and grammars
Bruno CourcelleTheoretical Computer Science 42 1 (1986)
https://doi.org/10.1016/0304-3975(86)90050-2