Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/entcs/entcs14.bht:"
download as .bib file
@proceedings{DBLP:conf/ffss/1997,
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
publisher = {Elsevier},
year = {1998},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/14/suppl/C},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ffss/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Barros98,
author = {Roberto Souto Maior de Barros},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {On the Formal Specification and Derivation of Relational Database
Applications},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {3--29},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80226-9},
doi = {10.1016/S1571-0661(05)80226-9},
timestamp = {Fri, 11 Nov 2022 13:55:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Barros98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Borba98,
author = {Paulo Borba},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {Systematic Development of Concurrent Object-Oriented Programs},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {30--37},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80227-0},
doi = {10.1016/S1571-0661(05)80227-0},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Borba98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CamaraoF98,
author = {Carlos Camar{\~{a}}o and
Luc{\'{\i}}lia Figueiredo},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {Towards Higher-Order Types},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {38--51},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80228-2},
doi = {10.1016/S1571-0661(05)80228-2},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CamaraoF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CamaraoF98a,
author = {Carlos Camar{\~{a}}o and
Luc{\'{\i}}lia Figueiredo},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {A Type System for Context-dependent Overloading},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {52--61},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80229-4},
doi = {10.1016/S1571-0661(05)80229-4},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CamaraoF98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CamargoS98,
author = {Murilo S. de Camargo and
Roberto Milton Scheffel},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {Formal Specification, Verification and Simulation of Time-Dependent
Systems: a Timed Process Algebra Approach},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {62--85},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80230-0},
doi = {10.1016/S1571-0661(05)80230-0},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CamargoS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CarvalhoCO98,
author = {Sergio E. R. de Carvalho and
Sylvia de O. Cruz and
Toacy Cavalcante de Oliveira},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {Second Generation Object-Oriented Development},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {94--106},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80232-4},
doi = {10.1016/S1571-0661(05)80232-4},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CarvalhoCO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CarvalhoO98,
author = {Sergio E. R. de Carvalho and
Toacy Cavalcante de Oliveira},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {An Incremental Model for Concurrent Objects},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {86--93},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80231-2},
doi = {10.1016/S1571-0661(05)80231-2},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CarvalhoO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CleavelandMM98,
author = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {Preface},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {1--2},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80225-7},
doi = {10.1016/S1571-0661(05)80225-7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CleavelandMM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ColbyJJLP98,
author = {Christopher Colby and
Lalita Jategaonkar and
Radha Jagadeesan and
Konstantin L{\"{a}}ufer and
Carlos Puchol},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {The Semantics of Triveni: {A} Process-Algebraic {API} for Threads
+ Events},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {107--133},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80233-6},
doi = {10.1016/S1571-0661(05)80233-6},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ColbyJJLP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Huth98,
author = {Michael Huth},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {The Interval Domain: {A} Matchmaker for aCTL and aPCTL},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {134--148},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80234-8},
doi = {10.1016/S1571-0661(05)80234-8},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Huth98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kamin98,
author = {Samuel N. Kamin},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {Research on Domain-specific Embedded Languages and Program Generators},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {149--168},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80235-X},
doi = {10.1016/S1571-0661(05)80235-X},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kamin98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Korff98,
author = {Leila Ribeiro Korff},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {Compatibility Between Syntax and Semantics of Graph Grammars},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {169--203},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80236-1},
doi = {10.1016/S1571-0661(05)80236-1},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Korff98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KorffK98,
author = {Leila Ribeiro Korff and
Martin Korff},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {True Concurrency = Interleaving Concurrency + Weak Conflict},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {204--213},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80237-3},
doi = {10.1016/S1571-0661(05)80237-3},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KorffK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LeavensP98,
author = {Gary T. Leavens and
Don Pigozzi},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {Class-Based and Algebraic Models of Objects},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {214--244},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80238-5},
doi = {10.1016/S1571-0661(05)80238-5},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LeavensP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Menezes98,
author = {Paulo Blauth Menezes},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {Diagonal Compositionality of Partial Petri Nets},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {274},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80240-3},
doi = {10.1016/S1571-0661(05)80240-3},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Menezes98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MenezesSC98,
author = {Paulo Blauth Menezes and
Am{\'{\i}}lcar Sernadas and
Jos{\'{e}} F{\'{e}}lix Costa},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {Nonsequential Automata Semantics for a Concurrent, Object-Based Language},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {245--273},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80239-7},
doi = {10.1016/S1571-0661(05)80239-7},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MenezesSC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mulry98,
author = {Philip S. Mulry},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {Monads in Semantics},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {275--286},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80241-5},
doi = {10.1016/S1571-0661(05)80241-5},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Mulry98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Santos98,
author = {Andr{\'{e}} L. M. Santos},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {Efficient Compilation of Functional Languages by Program Transformation},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {287--300},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80242-7},
doi = {10.1016/S1571-0661(05)80242-7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Santos98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Talcott98,
author = {Carolyn L. Talcott},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {Reasoning about Programs With Effects},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {301--314},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80243-9},
doi = {10.1016/S1571-0661(05)80243-9},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Talcott98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-20 06:27 CEST 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:
