default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/lomaps:"
download as .bib file
@proceedings{DBLP:conf/lomaps/1996,
editor = {Mads Dam},
title = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62503-8},
doi = {10.1007/3-540-62503-8},
isbn = {3-540-62503-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/AmtoftNNA96,
author = {Torben Amtoft and
Flemming Nielson and
Hanne Riis Nielson and
J{\"{u}}rgen Ammann},
editor = {Mads Dam},
title = {Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {172--206},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_9},
doi = {10.1007/3-540-62503-8\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/AmtoftNNA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/CominiLMV96,
author = {Marco Comini and
Giorgio Levi and
Maria Chiara Meo and
Giuliana Vitiello},
editor = {Mads Dam},
title = {Proving Properties of Logic Programs by Abstract Diagnosis},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {22--50},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_2},
doi = {10.1007/3-540-62503-8\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lomaps/CominiLMV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/Cridlig96,
author = {R{\'{e}}gis Cridlig},
editor = {Mads Dam},
title = {Implementing a Static Analyzer of Concurrent Programs: Problems and
Perspectives},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {244--259},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_11},
doi = {10.1007/3-540-62503-8\_11},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/Cridlig96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/DeganoLP96,
author = {Pierpaolo Degano and
Jean{-}Vincent Loddo and
Corrado Priami},
editor = {Mads Dam},
title = {Mobile Processes with Local Clocks},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {296--319},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_14},
doi = {10.1007/3-540-62503-8\_14},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/DeganoLP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/DeganoPLT96,
author = {Pierpaolo Degano and
Corrado Priami and
Lone Leth Thomsen and
Bent Thomsen},
editor = {Mads Dam},
title = {Analysis of Facile Programs: {A} Case Study},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {345--369},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_16},
doi = {10.1007/3-540-62503-8\_16},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/DeganoPLT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/Faxen96,
author = {Karl{-}Filip Fax{\'{e}}n},
editor = {Mads Dam},
title = {Polyvariance, Polymorphism and Flow Analysis},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {260--278},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_12},
doi = {10.1007/3-540-62503-8\_12},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/Faxen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/FradetM96,
author = {Pascal Fradet and
Daniel Le M{\'{e}}tayer},
editor = {Mads Dam},
title = {Type Checking for a Multiset Rewriting Language},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {126--140},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_7},
doi = {10.1007/3-540-62503-8\_7},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/FradetM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/FrancescoSV96,
author = {Nicoletta De Francesco and
Antonella Santone and
Gigliola Vaglini},
editor = {Mads Dam},
title = {A Non-Standard Semantics for Generating Reduced Transition Systems},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {370--387},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_17},
doi = {10.1007/3-540-62503-8\_17},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/FrancescoSV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/FredlundKO96,
author = {Lars{-}{\AA}ke Fredlund and
Jari Koistinen and
Fredrik Orava},
editor = {Mads Dam},
title = {Formalising and Prototyping a Concurrent Object-Based Language},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {116--125},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_6},
doi = {10.1007/3-540-62503-8\_6},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lomaps/FredlundKO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/Knabe96,
author = {Frederick Knabe},
editor = {Mads Dam},
title = {An Overview of Mobile Agent Programming},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {100--115},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_5},
doi = {10.1007/3-540-62503-8\_5},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/Knabe96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/Levi96,
author = {Francesca Levi},
editor = {Mads Dam},
title = {A Process Language for Statecharts},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {388--403},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_18},
doi = {10.1007/3-540-62503-8\_18},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/Levi96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/Maggiolo-SchettiniM96,
author = {Andrea Maggiolo{-}Schettini and
Massimo Merro},
editor = {Mads Dam},
title = {Prorities in Statecharts},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {404--429},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_19},
doi = {10.1007/3-540-62503-8\_19},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/Maggiolo-SchettiniM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/NicolaP96,
author = {Rocco De Nicola and
Rosario Pugliese},
editor = {Mads Dam},
title = {Testing Semantics of Asynchronous Distributed Programs},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {320--344},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_15},
doi = {10.1007/3-540-62503-8\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/NicolaP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/NielsonCDDJMT96,
author = {Flemming Nielson and
Patrick Cousot and
Mads Dam and
Pierpaolo Degano and
Pierre Jouvelot and
Alan Mycroft and
Bent Thomsen},
editor = {Mads Dam},
title = {Logical and Operational Methods in the Analysis of Programs and Systems},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {1--21},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_1},
doi = {10.1007/3-540-62503-8\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/NielsonCDDJMT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/NielsonNA96,
author = {Hanne Riis Nielson and
Flemming Nielson and
Torben Amtoft},
editor = {Mads Dam},
title = {Polymorphic Subtyping for Effect Analysis: The Static Semantics},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {141--171},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_8},
doi = {10.1007/3-540-62503-8\_8},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/NielsonNA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/NielsonNA96a,
author = {Flemming Nielson and
Hanne Riis Nielson and
Torben Amtoft},
editor = {Mads Dam},
title = {Polymorphic Subtyping for Effect Analysis: The Algorithm},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {207--243},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_10},
doi = {10.1007/3-540-62503-8\_10},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/NielsonNA96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/Schmidt96,
author = {David A. Schmidt},
editor = {Mads Dam},
title = {Abstract Interpretation of Small-Step Semantics},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {76--99},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_4},
doi = {10.1007/3-540-62503-8\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/Schmidt96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/Venet96,
author = {Arnaud Venet},
editor = {Mads Dam},
title = {Abstract Interpretation of the pi-Calculus},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {51--75},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_3},
doi = {10.1007/3-540-62503-8\_3},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/Venet96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/WilhelmAMR96,
author = {Reinhard Wilhelm and
Martin Helmut Alt and
Florian Martin and
Martin Raber},
editor = {Mads Dam},
title = {Parallel Implementation of Functional Languages},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {279--295},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_13},
doi = {10.1007/3-540-62503-8\_13},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/WilhelmAMR96.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-11-18 11:38 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:
