default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/mfps/mfps1993.bht:"
download as .bib file
@proceedings{DBLP:conf/mfps/1993,
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58027-1},
doi = {10.1007/3-540-58027-1},
isbn = {3-540-58027-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Aczel93,
author = {Peter Aczel},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Final Universes of Processes},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {1--28},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_1},
doi = {10.1007/3-540-58027-1\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Aczel93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BakkerB93,
author = {J. W. de Bakker and
Franck van Breugel},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Topological Models for Higher Ordr Control Flow},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {122--142},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_6},
doi = {10.1007/3-540-58027-1\_6},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BakkerB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BanerjeeS93,
author = {Anindya Banerjee and
David A. Schmidt},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {A Categorical Interpretation of Landin's Correspondence Principle},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {587--602},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_29},
doi = {10.1007/3-540-58027-1\_29},
timestamp = {Thu, 22 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/BanerjeeS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BestL93,
author = {Eike Best and
Hans{-}G{\"{u}}nther Linde{-}G{\"{o}}ers},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Compositional Process Semantics of Petri Boxes},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {250--270},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_12},
doi = {10.1007/3-540-58027-1\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BestL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BloomE93,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Some Quasi-Varieties of Iteration Theories},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {378--409},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_19},
doi = {10.1007/3-540-58027-1\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BloomE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BluteSP93,
author = {Richard Blute and
Robert A. G. Seely and
Prakash Panangaden},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Holomorhpic Models of Exponential Types in Linear Logic},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {474--512},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_23},
doi = {10.1007/3-540-58027-1\_23},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/BluteSP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Breugel93,
author = {Franck van Breugel},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Three Metric Domains of Processes for Bisimulation},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {103--121},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_5},
doi = {10.1007/3-540-58027-1\_5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Breugel93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BrookesG93,
author = {Stephen D. Brookes and
Shai Geva},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Sequential Functions on Indexed Domains and Full Abstraction for a
Sub-Language of {PCF}},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {320--332},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_16},
doi = {10.1007/3-540-58027-1\_16},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BrookesG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BruceCK93,
author = {Kim B. Bruce and
Jonathan Crabtree and
Gerlad Kanapathy},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {An Operational Semantics for {TOOPLE:} {A} Statically-Typed Object-Oriented
Programming Language},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {603--626},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_30},
doi = {10.1007/3-540-58027-1\_30},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BruceCK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Bucciarelli93,
author = {Antonio Bucciarelli},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Another Approach to Sequentiality: Kleene's Unimonotone Functions},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {333--358},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_17},
doi = {10.1007/3-540-58027-1\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Bucciarelli93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/CalbrixNP93,
author = {Hugues Calbrix and
Maurice Nivat and
Andreas Podelski},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Ultimately Periodic Words of Rational \emph{w}-Languages},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {554--566},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_27},
doi = {10.1007/3-540-58027-1\_27},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/CalbrixNP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Chen93,
author = {Liang Chen},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Axiomatising Real-Time Processes},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {215--229},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_10},
doi = {10.1007/3-540-58027-1\_10},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Chen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Curien93,
author = {Pierre{-}Louis Curien},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {On the Symmetry of Sequentiality},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {29--71},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_2},
doi = {10.1007/3-540-58027-1\_2},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Curien93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/DanvyH93,
author = {Olivier Danvy and
John Hatcliff},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {On the Transformation between Direct and Continuation Semantics},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {627--648},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_31},
doi = {10.1007/3-540-58027-1\_31},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/DanvyH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Fiech93,
author = {Adrian Fiech},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Category of Delta-Functors},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {567--586},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_28},
doi = {10.1007/3-540-58027-1\_28},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Fiech93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Heckmann93,
author = {Reinhold Heckmann},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Probabilistic Power Domains, Information Systems, and Locales},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {410--437},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_20},
doi = {10.1007/3-540-58027-1\_20},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Heckmann93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Huth93,
author = {Michael Huth},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Linear Domains and Linear Maps},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {438--453},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_21},
doi = {10.1007/3-540-58027-1\_21},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Huth93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Jeffrey93,
author = {Alan Jeffrey},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {A Chemical Abstract Machine for Graph Reduction},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {293--303},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_14},
doi = {10.1007/3-540-58027-1\_14},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Jeffrey93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/KoppermanF93,
author = {Ralph Kopperman and
Bob Flagg},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {The Asymmetric Topology of Computer Science},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {544--553},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_26},
doi = {10.1007/3-540-58027-1\_26},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/KoppermanF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/LarsenY93,
author = {Kim Guldstrand Larsen and
Wang Yi},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Time Abstracted Bisimiulation: Implicit Specifications and Decidability},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {160--176},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_8},
doi = {10.1007/3-540-58027-1\_8},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/LarsenY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Mulry93,
author = {Philip S. Mulry},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Lifting Theorems for Kleisli Categories},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {304--319},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_15},
doi = {10.1007/3-540-58027-1\_15},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Mulry93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/PinnaP93,
author = {G. Michele Pinna and
Axel Poign{\'{e}}},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {On the Specification of Elementary Reactive Behaviour},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {271--292},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_13},
doi = {10.1007/3-540-58027-1\_13},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/PinnaP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Pitts93,
author = {Andrew M. Pitts},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Computational Adequacy via "Mixed" Inductive Definitions},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {72--82},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_3},
doi = {10.1007/3-540-58027-1\_3},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Pitts93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Rabinovich93,
author = {Alexander Moshe Rabinovich},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {A Complete Axiomatisation for Trace Congruence of Finite State Behaviors},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {530--543},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_25},
doi = {10.1007/3-540-58027-1\_25},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Rabinovich93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Rutten93,
author = {Jan J. M. M. Rutten},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {A Strucutral Co-Induction Theorem},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {83--102},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_4},
doi = {10.1007/3-540-58027-1\_4},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Rutten93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Sangiorgi93,
author = {Davide Sangiorgi},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {An Investigation into Functions as Processes},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {143--159},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_7},
doi = {10.1007/3-540-58027-1\_7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Sangiorgi93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Schneider93,
author = {Steve A. Schneider},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Timewise Refinement for Communicating Processes},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {177--214},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_9},
doi = {10.1007/3-540-58027-1\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/Schneider93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/ScholefieldZJ93,
author = {David Scholefield and
Hussein S. M. Zedan and
Jifeng He},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {A Predicative Semantics for the Refinement of Real-Time Systems},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {230--249},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_11},
doi = {10.1007/3-540-58027-1\_11},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/ScholefieldZJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Stoughton93,
author = {Allen Stoughton},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Mechanizing Logical Relations},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {359--377},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_18},
doi = {10.1007/3-540-58027-1\_18},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Stoughton93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Wadler93,
author = {Philip Wadler},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {A Syntax for Linear Logic},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {513--529},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_24},
doi = {10.1007/3-540-58027-1\_24},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Wadler93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Zhang93,
author = {Guo{-}Qiang Zhang},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Universal Quasi-Prime Algebraic Domains},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {454--473},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_22},
doi = {10.1007/3-540-58027-1\_22},
timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Zhang93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-12-30 21:54 CET from data curated 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:
