Search dblp for Publications

export results for "toc:db/conf/lomaps/lomaps96.bht:"

 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    = {Mon, 22 May 2017 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.