default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. Birthday: Peter D. Mosses 2009
- Jens Palsberg:
Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 5700, Springer 2009, ISBN 978-3-642-04163-1 - Jens Palsberg:
Tribute to Peter Mosses. 1-3 - David A. Watt:
Action Semantics in Retrospect. 4-20 - Hejiao Huang, Hélène Kirchner:
Component-Based Security Policy Design with Colored Petri Nets. 21-42 - José Meseguer:
Order-Sorted Parameterization and Induction. 43-80 - André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante
:
An Implementation of Object-Oriented Action Semantics in Maude. 81-105 - Christiano Braga:
A Constructive Semantics for Basic Aspect Constructs. 106-120 - Bartek Klin:
Structural Operational Semantics for Weighted Transition Systems. 121-139 - Fernando Orejas, Martin Wirsing:
On the Specification and Verification of Model Transformations. 140-161 - Olivier Danvy:
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. 162-185 - Malgorzata Biernacka, Olivier Danvy:
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. 186-206 - Mark G. J. van den Brand, Arjan P. van der Meer, Alexander Serebrenik:
Type Checking Evolving Languages with MSOS. 207-226 - Luiz Carlos Castro Guedes, Edward Hermann Haeusler:
Action Algebras and Model Algebras in Denotational Semantics. 227-249 - Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi:
Mobile Processes and Termination. 250-273 - Kyung-Goo Doh, David A. Schmidt:
An Action Semantics Based on Two Combinators. 274-296 - Hanne Gottliebsen, Kristoffer H. Rose:
Converting between Combinatory Reduction Systems and Big Step Semantics. 297-314 - Padmanabhan Krishnan, Percy Antonio Pari Salas:
Model-Based Testing and the UML Testing Profile. 315-328 - Kristian Støvring, Søren B. Lassen:
A Complete, Co-inductive Syntactic Theory of Sequential Control and State. 329-375 - Ben L. Titzer, Jens Palsberg:
Vertical Object Layout and Compression for Fixed Heaps. 376-408
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-26 01: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:
