Search results for "MFPS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1		Dedication.	MFPS	1997	DBLP DOI BibTeX RDF
1	Michael Huth 0001	A powerdomain of possibility measures.	MFPS	1997	DBLP DOI BibTeX RDF
1	John Power	Modularity in denotational semantics.	MFPS	1997	DBLP DOI BibTeX RDF
1	Achim Jung, Mathias Kegelmann, M. Andrew Moshier	Multi lingual sequent calculus and coherent spaces.	MFPS	1997	DBLP DOI BibTeX RDF
1	Stephen D. Brookes, Michael W. Mislove (eds.)	Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997	MFPS	1997	DBLP BibTeX RDF
1	Philippa Gardner	A name-free account of action calculi.	MFPS	1995	DBLP DOI BibTeX RDF
1	Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama	Syntactic control of interference revisited.	MFPS	1995	DBLP DOI BibTeX RDF
1	Neil D. Jones	Complexity and computability from a programming language perspective.	MFPS	1995	DBLP DOI BibTeX RDF
1	Frank Pfenning, Hao-Chi Wong	On a modal lambda calculus for S4.	MFPS	1995	DBLP DOI BibTeX RDF
1	Ugo Montanari, Marco Pistore	Concurrent semantics for the pi-calculus.	MFPS	1995	DBLP DOI BibTeX RDF
1	Karen L. Bernstein, Eugene W. Stark	Operational semantics of a focusing debugger.	MFPS	1995	DBLP DOI BibTeX RDF
1	John Maraist, Martin Odersky, David N. Turner, Philip Wadler	Call-by-name, call-by-value, call-by-need and the linear lambda calculus.	MFPS	1995	DBLP DOI BibTeX RDF
1	Zoltán Ésik, L. Bernátsky	Scott induction and equational proofs.	MFPS	1995	DBLP DOI BibTeX RDF
1	Bob Flagg, Ralph Kopperman	Fixed points and reflexive domain equations in categories of continuity spaces.	MFPS	1995	DBLP DOI BibTeX RDF
1	Andrew D. Gordon 0001	Bisimilarity as a theory of functional programming.	MFPS	1995	DBLP DOI BibTeX RDF
1	Bart Jacobs 0001	Subtypes and bounded quantification from a fibred perspective.	MFPS	1995	DBLP DOI BibTeX RDF
1	Alan Jeffrey	A fully abstract semantics for a nondeterministic functional language with monadic types.	MFPS	1995	DBLP DOI BibTeX RDF
1	Peter W. O'Hearn, Uday S. Reddy	Objects, interference and the Yoneda embedding.	MFPS	1995	DBLP DOI BibTeX RDF
1	Gérard Boudol, Cosimo Laneve	Termination, deadlock and divergence in the lambda-calculus with multiplicities.	MFPS	1995	DBLP DOI BibTeX RDF
1	Abbas Edalat	Domain theory in learning processes.	MFPS	1995	DBLP DOI BibTeX RDF
1	Jonathan Eifrig, Scott F. Smith 0001, Valery Trifonov	Type inference for recursively constrained types and its application to OOP.	MFPS	1995	DBLP DOI BibTeX RDF
1	François Lamarche	Generalizing coherent domains and hypercoherences.	MFPS	1995	DBLP DOI BibTeX RDF
1	Cliff B. Jones	Fixing the semantics of some concurrent object-oriented concepts.	MFPS	1995	DBLP DOI BibTeX RDF
1	Michel P. Schellekens	The Smyth completion: a common foundation for denotational semantics and complexity analysis.	MFPS	1995	DBLP DOI BibTeX RDF
1	Kay-Jeannette Nüssler	Universality and powerdomains.	MFPS	1995	DBLP DOI BibTeX RDF
1	Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove	Foreword and Dedication.	MFPS	1995	DBLP DOI BibTeX RDF
1	Cliff B. Jones	Granularity and the development of concurrent programs.	MFPS	1995	DBLP DOI BibTeX RDF
1	Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama	Bireflectivity.	MFPS	1995	DBLP DOI BibTeX RDF
1	Achim Jung, Hermann Puhlmann	Types, logic and semantics for nested databases.	MFPS	1995	DBLP DOI BibTeX RDF
1	Krishna Kishore Dhara, Gary T. Leavens	Weak behavioral subtyping for types with mutable objects.	MFPS	1995	DBLP DOI BibTeX RDF
1	Douglas N. Hoover	Maximal limit spaces, powerspaces, and Scott domains.	MFPS	1995	DBLP DOI BibTeX RDF
1	Fabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten	Solutions of functorial and non-functorial metric domain equations.	MFPS	1995	DBLP DOI BibTeX RDF
1	Michael W. Mislove	Denotational models for unbounded nondeterminism.	MFPS	1995	DBLP DOI BibTeX RDF
1	J. Robin B. Cockett, David A. Spooner	Categories for synchrony and asynchrony.	MFPS	1995	DBLP DOI BibTeX RDF
1	Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove (eds.)	Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995	MFPS	1995	DBLP BibTeX RDF
1	Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (eds.)	Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings	MFPS	1994	DBLP DOI BibTeX RDF
1	Adrian Fiech	Category of Delta-Functors.	MFPS	1993	DBLP DOI BibTeX RDF
1	Franck van Breugel	Three Metric Domains of Processes for Bisimulation.	MFPS	1993	DBLP DOI BibTeX RDF
1	Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy	An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language.	MFPS	1993	DBLP DOI BibTeX RDF
1	Richard Blute, Robert A. G. Seely, Prakash Panangaden	Holomorhpic Models of Exponential Types in Linear Logic.	MFPS	1993	DBLP DOI BibTeX RDF	Fock space, holomorphic functions, quantum field theory, linear logic, Banach spaces
1	Guo-Qiang Zhang 0001	Universal Quasi-Prime Algebraic Domains.	MFPS	1993	DBLP DOI BibTeX RDF	universal structures, lattices, Domain theory, universal algebra, semantics of programming languages
1	Hugues Calbrix, Maurice Nivat, Andreas Podelski	Ultimately Periodic Words of Rational w-Languages.	MFPS	1993	DBLP DOI BibTeX RDF
1	Pierre-Louis Curien	On the Symmetry of Sequentiality.	MFPS	1993	DBLP DOI BibTeX RDF
1	Steve A. Schneider	Timewise Refinement for Communicating Processes.	MFPS	1993	DBLP DOI BibTeX RDF
1	Alan Jeffrey	A Chemical Abstract Machine for Graph Reduction.	MFPS	1993	DBLP DOI BibTeX RDF
1	J. W. de Bakker, Franck van Breugel	Topological Models for Higher Ordr Control Flow.	MFPS	1993	DBLP DOI BibTeX RDF
1	Michael Huth 0001	Linear Domains and Linear Maps.	MFPS	1993	DBLP DOI BibTeX RDF
1	Alexander Moshe Rabinovich	A Complete Axiomatisation for Trace Congruence of Finite State Behaviors.	MFPS	1993	DBLP DOI BibTeX RDF
1	Ralph Kopperman, Bob Flagg	The Asymmetric Topology of Computer Science.	MFPS	1993	DBLP DOI BibTeX RDF
1	Philip S. Mulry	Lifting Theorems for Kleisli Categories.	MFPS	1993	DBLP DOI BibTeX RDF
1	Andrew M. Pitts	Computational Adequacy via "Mixed" Inductive Definitions.	MFPS	1993	DBLP DOI BibTeX RDF
1	Antonio Bucciarelli	Another Approach to Sequentiality: Kleene's Unimonotone Functions.	MFPS	1993	DBLP DOI BibTeX RDF
1	Philip Wadler	A Syntax for Linear Logic.	MFPS	1993	DBLP DOI BibTeX RDF
1	G. Michele Pinna, Axel Poigné	On the Specification of Elementary Reactive Behaviour.	MFPS	1993	DBLP DOI BibTeX RDF
1	Kim Guldstrand Larsen, Wang Yi 0001	Time Abstracted Bisimiulation: Implicit Specifications and Decidability.	MFPS	1993	DBLP DOI BibTeX RDF
1	Eike Best, Hans-Günther Linde-Göers	Compositional Process Semantics of Petri Boxes.	MFPS	1993	DBLP DOI BibTeX RDF
1	Reinhold Heckmann	Probabilistic Power Domains, Information Systems, and Locales.	MFPS	1993	DBLP DOI BibTeX RDF
1	Davide Sangiorgi	An Investigation into Functions as Processes.	MFPS	1993	DBLP DOI BibTeX RDF
1	Stephen D. Brookes, Shai Geva	Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF.	MFPS	1993	DBLP DOI BibTeX RDF
1	Jan J. M. M. Rutten	A Strucutral Co-Induction Theorem.	MFPS	1993	DBLP DOI BibTeX RDF
1	David Scholefield, Hussein S. M. Zedan, Jifeng He 0001	A Predicative Semantics for the Refinement of Real-Time Systems.	MFPS	1993	DBLP DOI BibTeX RDF
1	Allen Stoughton	Mechanizing Logical Relations.	MFPS	1993	DBLP DOI BibTeX RDF
1	Stephen L. Bloom, Zoltán Ésik	Some Quasi-Varieties of Iteration Theories.	MFPS	1993	DBLP DOI BibTeX RDF
1	Olivier Danvy, John Hatcliff	On the Transformation between Direct and Continuation Semantics.	MFPS	1993	DBLP DOI BibTeX RDF
1	Peter Aczel	Final Universes of Processes.	MFPS	1993	DBLP DOI BibTeX RDF	Final Universe, Process, CSP, Labelled, Transition System, CCS, Coalgebra
1	Anindya Banerjee 0001, David A. Schmidt	A Categorical Interpretation of Landin's Correspondence Principle.	MFPS	1993	DBLP DOI BibTeX RDF
1	Liang Chen	Axiomatising Real-Time Processes.	MFPS	1993	DBLP DOI BibTeX RDF
1	Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (eds.)	Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings	MFPS	1992	DBLP DOI BibTeX RDF
1	Jan J. M. M. Rutten	Nonwellfounded Sets and Programming Language Semantics.	MFPS	1991	DBLP DOI BibTeX RDF	transition system specification, nonwellfounded sets, anti-foundation-axiom, interpretation, bisimulation, compositionality, labelled transition system, Structured operational semantics
1	Giuseppe Rosolini	An Exper Model for Quest.	MFPS	1991	DBLP DOI BibTeX RDF
1	John W. Gray	Simultaneous Substitution in the Typed Lambda Calculus.	MFPS	1991	DBLP DOI BibTeX RDF
1	Austin Melton, Bernd S. W. Schröder, George E. Strecker	Connections.	MFPS	1991	DBLP DOI BibTeX RDF	AMS subject classification Primary: 06A15, 06A10 - Secondary: 68F05, 68F99, 54B99
1	Michael Huth 0001	Cartesian Closed Categories of Domains and the Space Proj(D).	MFPS	1991	DBLP DOI BibTeX RDF
1	Mitchell Wand	Correctness of Procedure Representations in Higher-Order Assembly Language.	MFPS	1991	DBLP DOI BibTeX RDF
1	Reinhold Heckmann	An Upper Power Domain Construction in Terms of Strongly Compact Sets.	MFPS	1991	DBLP DOI BibTeX RDF
1	Stefano Kasangian, Anna Labella	On Continuous Time Agents.	MFPS	1991	DBLP DOI BibTeX RDF
1	Nils Klarlund	Liminf Progress Measures.	MFPS	1991	DBLP DOI BibTeX RDF
1	Kim B. Bruce	The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages.	MFPS	1991	DBLP DOI BibTeX RDF
1	Bard Bloom, Marta Z. Kwiatkowska	Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces.	MFPS	1991	DBLP DOI BibTeX RDF
1	John Gateley, Bruce F. Duba	Call-by-Value Combinatory Logic and the Lambda-Value Calculus.	MFPS	1991	DBLP DOI BibTeX RDF
1	Guo-Qiang Zhang 0001	A Monoidal Closed Category of Event Structures.	MFPS	1991	DBLP DOI BibTeX RDF
1	Scott F. Smith 0001	From Operational to Denotational Semantics.	MFPS	1991	DBLP DOI BibTeX RDF
1	Achim Jung, Leonid Libkin, Hermann Puhlmann	Decomposition of Domains.	MFPS	1991	DBLP DOI BibTeX RDF
1	Michael W. Mislove, Frank J. Oles	A Simple Language Supporting Angelic Nondeterminism and Parallel Composition.	MFPS	1991	DBLP DOI BibTeX RDF
1	Jon Barwise	Information Links in Domain Theory.	MFPS	1991	DBLP DOI BibTeX RDF
1	Michael Barr	HSP Type Theorems in the Category of Posets.	MFPS	1991	DBLP DOI BibTeX RDF
1	Gary T. Leavens, Don Pigozzi	Typed Homomorphic Relations Extended with Sybtypes.	MFPS	1991	DBLP DOI BibTeX RDF
1	Stephen D. Brookes, Shai Geva	Continuous Functions and Parallel Algorithms on Concrete Data Structures.	MFPS	1991	DBLP DOI BibTeX RDF
1	QingMing Ma, John C. Reynolds	Types, Abstractions, and Parametric Polymorphism, Part 2.	MFPS	1991	DBLP DOI BibTeX RDF
1	Nicolas Mercouroff	An Algorithm for Analyzing Communicating Processes.	MFPS	1991	DBLP DOI BibTeX RDF
1	Ernest G. Manes	Equations for if-then-else.	MFPS	1991	DBLP DOI BibTeX RDF
1	Neal Nelson	Primitive Recursive Functionals with Dependent Types.	MFPS	1991	DBLP DOI BibTeX RDF
1	Stephen L. Bloom, Zoltán Ésik	Program Correctness and Matricial Iteration Theories.	MFPS	1991	DBLP DOI BibTeX RDF
1	Luca Aceto	On Relating Concurency and Nondeterminism.	MFPS	1991	DBLP DOI BibTeX RDF
1	Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (eds.)	Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings	MFPS	1990	DBLP DOI BibTeX RDF
1	Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (eds.)	Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings	MFPS	1988	DBLP DOI BibTeX RDF
1	John W. Gray	A Categorical Treatment of Polymorphic Operations.	MFPS	1987	DBLP DOI BibTeX RDF
1	Maria Zamfir	Initial Algebra Semantics and Concurrency.	MFPS	1987	DBLP DOI BibTeX RDF
1	Uwe F. Pleban, Peter Lee 0001	High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations.	MFPS	1987	DBLP DOI BibTeX RDF
1	Achim Jung	New Results on Hierarchies of Domains.	MFPS	1987	DBLP DOI BibTeX RDF

Publications at "MFPS"( http://dblp.L3S.de/Venues/MFPS )