Google
Google Scholar
MS Academic Search
CiteSeerX
Semantic ScholarMFPS 1993: New Orleans, LA, USA
Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt:
Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings. Lecture Notes in Computer Science 802, Springer 1994, ISBN 3-540-58027-1- Kim Guldstrand Larsen, Wang Yi:
Time Abstracted Bisimiulation: Implicit Specifications and Decidability. 160-176 - David Scholefield, Hussein S. M. Zedan, Jifeng He:
A Predicative Semantics for the Refinement of Real-Time Systems. 230-249 - Stephen D. Brookes, Shai Geva:
Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF. 320-332 - Richard Blute, R. A. G. Seely, Prakash Panangaden:
Holomorhpic Models of Exponential Types in Linear Logic. 474-512 - Alexander Moshe Rabinovich:
A Complete Axiomatisation for Trace Congruence of Finite State Behaviors. 530-543 - Hugues Calbrix, Maurice Nivat, Andreas Podelski:
Ultimately Periodic Words of Rational w-Languages. 554-566 - Anindya Banerjee, David A. Schmidt:
A Categorical Interpretation of Landin's Correspondence Principle. 587-602 - Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy:
An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language. 603-626 - Olivier Danvy, John Hatcliff:
On the Transformation between Direct and Continuation Semantics. 627-648
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2016-09-23 21:14 CEST by the dblp team