The Models for Mobility List (Moca) Thread Archive

• Date Index

• [moca] PhD thesis: Analysis of mobile systems by abstract interpretation, Jerome Feret
  • Re: [moca] PhD thesis: Analysis of mobile systems by abstract interpretation, Arie Karniel
• [moca] Rigorous HOL specification for TCP, UDP, and Sockets, Peter Sewell
• [moca] [Fwd: Re: Decidability of semantics], Joachim Parrow
  • <Possible follow-ups>
  • Re: [moca] [Fwd: Re: Decidability of semantics], Michael Baldamus
• [moca] Decidability of semantics, Joachim Parrow
  • Re: [moca] Decidability of semantics, Lucian Wischik
    • Re: [moca] Decidability of semantics, Uwe Nestmann
• [moca] Mobile Agents: Ten reasons for failure, Massimo Merro
  • Re: [moca] Mobile Agents: Ten reasons for failure, Pablo Garralda
    • Re: [moca] Mobile Agents: Ten reasons for failure, Massimo Merro
  • Re: [moca] Mobile Agents: Ten reasons for failure, Martin Berger
• [moca] expressive power of this class of processes..., L.G. Meredith
• [moca] Paper Announcement: Location and Link Failure in a Distributed Pi-calculus, Adrian Francalanza
• [moca] Paper: Formal Analysis of a Distributed Object-Oriented Language and Runtime, Alex Ahern
• [moca] New paper and questions/answers web page for Poly*, a retargetable polymorphic type system for mobility calculi, Joe Wells
• [moca] confused by Sangiogi & Walker's ``up to'' lemmas, James Leifer
  • Message not available
    • Re: [moca] confused by Sangiogi & Walker's ``up to'' lemmas, James Leifer
  • Re: [moca] confused by Sangiogi & Walker's ``up to'' lemmas, Damien Pous
  • Re: [moca] confused by Sangiogi & Walker's ``up to'' lemmas, Davide Sangiorgi
• [moca] Poly*, a retargetable polymorphic type system for mobility calculi, Henning Makholm
• [moca] Paper Announcement: Behavioural Theory for Mobile Ambients, Massimo Merro
• [moca] Technical Report on Bisimulation Congruences for Homer, Thomas Hildebrandt
• [moca] Paper Announcement: Three Papers on Secure Information Flow Analysis, Nobuko Yoshida
• [moca] all-you-can-eat calculi, Martin Berger
  • Re: [moca] all-you-can-eat calculi, Uwe . Nestmann
  • Re: [moca] all-you-can-eat calculi, Pawel Wojciechowski
  • RE: [moca] all-you-can-eat calculi, GOUAICH Abdelkader
  • Re: [moca] all-you-can-eat calculi, David Teller
  • Message not available
    • Re: [moca] all-you-can-eat calculi, Martin Berger
  • <Possible follow-ups>
  • RE: [moca] all-you-can-eat calculi, sanjiva
  • Re: [moca] all-you-can-eat calculi, Martin Berger
    • Re: [moca] all-you-can-eat calculi, sanjiva
      • Re: [moca] all-you-can-eat calculi, Martin Berger
• [moca] Type-based analyzer for the pi-calculus, kobayasi
• [moca] Paper: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Alan Schmitt
  • Re: [moca] Paper: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Thomas Hildebrandt
  • Message not available
    • Re: [moca] Paper: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Alan Schmitt
      • Re: [moca] Paper: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Thomas Hildebrandt
      • Re: [moca] Paper: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Michael Baldamus
      • Re: [moca] Paper: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Alan Schmitt
• [moca] static analysis, Umar Janjua
  • Re: [moca] static analysis, Debora Schuch da Rosa
• [moca] Timed pi-calculus tool, Anirban Bhattacharyya
• [moca] structural congruence, Joost Engelfriet
• [moca] Logics for Processes, Logics for Programs., kohei
• [moca] TyCO release 0.4 available, Luis Lopes
• [moca] Spatial Logic Model Checker available, htv
• [moca] completeness of bisimulations for spi-calculus?, Eijiro Sumii
• [moca] PI analysis tools, ChenZhenyu
  • Re: [moca] PI analysis tools, Mikkel Bundgaard
  • <Possible follow-ups>
  • Re: [moca] PI analysis tools, Pierpaolo Degano
    • Re: [moca] PI analysis tools, Emilio Tuosto
• [moca] Genericity and the Pi-Calculus, Martin Berger
• [moca] Questions about the spi calculus, José L. Vivas
  • Message not available
    • Re: [moca] Questions about the spi calculus, José L. Vivas
      • Re: [moca] Questions about the spi calculus, Martin Abadi
  • [moca] [techreport] a fully abstract encoding of applied pi, Michael Baldamus
• [moca] [announcement] 2 papers on "Concurrency Theory for Distributed Algorithms", Uwe . Nestmann
  • [moca] Re: [announcement] 2 papers on "Concurrency Theory for Distributed Algorithms", Uwe . Nestmann
• [moca] Questions on congruences and preorders, Pietro Braione
• [moca] PhD thesis: De la se'mantique des processus d'ordre supe'rieur, Francesco Zappa Nardelli
• [moca] Contextual reactive systems, Pietro Braione
• [moca] Applications of Process Calculi in Logistics., Alappatt,Antony
  • Re: [moca] Applications of Process Calculi in Logistics., Keith Wansbrough
  • Re: [moca] Applications of Process Calculi in Logistics., Tom Chothia
  • <Possible follow-ups>
  • RE: [moca] Applications of Process Calculi in Logistics., Alappatt,Antony
• [moca] Bisimulation applications, Adrian Francalanza
• [moca] interview with Robin Milner, Martin Berger
• [moca] Ambient logics and theorem proving, devrimu
• [moca] Ambients and functions, Benjamin Aziz
  • Re: [moca] Ambients and functions, Martin Berger
    • Re: [moca] Ambients and functions, Benjamin Aziz
      • Re: [moca] Ambients and functions, Pascal Zimmer
      • Re: [moca] Ambients and functions, Martin Berger
    • Re: [moca] Ambients and functions, sanjiva
      • Re: [moca] Ambients and functions, Martin Berger
• [moca] How important is restriction?, Luis Rodrigo Gallardo
  • Re: [moca] How important is restriction?, Martin Berger
  • <Possible follow-ups>
  • RE: [moca] How important is restriction?, Andy Gordon
    • Re: [moca] How important is restriction?, Luis Rodrigo Gallardo
  • RE: [moca] How important is restriction?, Andy Gordon
    • Re: [moca] How important is restriction?, Luis Rodrigo Gallardo
• [moca] type-based information flow analyis for pi, kobayasi
• [moca] definitions of race conditions?, Martin Berger
  • Message not available
    • Re: [moca] definitions of race conditions?, Martin Berger
  • Message not available
    • Re: [moca] definitions of race conditions?, Martin Berger
      • Re: [moca] definitions of race conditions?, Alan Jeffrey
      • Re: [moca] definitions of race conditions?, martinb
      • Re: [moca] definitions of race conditions?, Alan Jeffrey
      • Re: [moca] definitions of race conditions?, martinb
      • Re: [moca] definitions of race conditions?, martinb
  • <Possible follow-ups>
  • Re: [moca] definitions of race conditions?, Cormac Flanagan
  • Re: [moca] definitions of race conditions?, martinb
  • Re: [moca] definitions of race conditions?, Cormac Flanagan
• [moca] ANN: X-Klaim & Klava ver 2, Lorenzo Bettini
• [moca] Bigraphs etc, Robin Milner
• [moca] Channel Dependent Types for Higher-Order Mobile Processes, Nobuko Yoshida
• [moca], Sergio Maffeis
• Re: [moca] Locality and Name Matching in pi-calculus, Reza Ziaei
  • Re: [moca] Locality and Name Matching in pi-calculus, Tom Chothia
  • Re: [moca] Locality and Name Matching in pi-calculus, Martin Berger
  • Re: [moca] Locality and Name Matching in pi-calculus, Davide Sangiorgi
• [moca] Query, Ramji Srinivasan
  • Re: [moca] Query, martinb
• [moca] Locality and Name matching in Pi-Calculus., Reza Ziaei
  • Re: [moca] Locality and Name matching in Pi-Calculus., Martin Berger
    • Re: [moca] Locality and Name matching in Pi-Calculus., Tom Chothia
      • Re: [moca] Locality and Name matching in Pi-Calculus., martinb
  • Re: [moca] Locality and Name matching in Pi-Calculus., martinb
    • Re: [moca] Locality and Name matching in Pi-Calculus., Vasco Thudichum Vasconcelos
      • Re: [moca] Locality and Name matching in Pi-Calculus., Martin Berger
  • <Possible follow-ups>
  • Re: [moca] Locality and Name matching in Pi-Calculus., Martin Berger
• [moca] On the definition of bisimulation, Pietro Braione
  • Re: [moca] On the definition of bisimulation, Hans Huttel
    • Re: [moca] On the definition of bisimulation, Pietro Braione
  • Re: [moca] On the definition of bisimulation, Ilaria Castellani
• [moca] Mobility FAQ ?, Uwe . Nestmann
  • [moca] shooting from the hip: Mobility FAQ ?, Martin Berger
    • Re: [moca] shooting from the hip: Mobility FAQ ?, Joachim Parrow
    • Re: [moca] shooting from the hip: Mobility FAQ ?, Tom Chothia
    • Re: [moca] shooting from the hip: Mobility FAQ ?, Martin Berger
• [moca] Memo on bigraphs, Robin Milner
  • [moca] Combinators i Have Known And Loved, Martin Berger
    • Re: [moca] Combinators i Have Known And Loved, Joachim Parrow
      • Re: [moca] Combinators i Have Known And Loved, Martin Berger
      • Re: [moca] Combinators i Have Known And Loved, Ilaria . Castellani
      • Re: [moca] Combinators i Have Known And Loved, Martin Berger
• [moca] Virus alert, Pascal Zimmer
• Re: [moca] Locations?, Tom Chothia
  • <Possible follow-ups>
  • Re: [moca] Locations?, Martin Berger
    • Re: [moca] Locations?, Ilaria Castellani
  • Re: [moca] Locations?, Pawel . Wojciechowski
  • Re: [moca] Locations?, Ana Matos
• [moca] Pointers on correct abstract machines for calculi with nested locations, Andrew Phillips
  • [moca] Locations?, martinb
    • Re: [moca] Locations?, Uwe . Nestmann
      • Re: [moca] Locations?, Alan Schmitt
      • Re: [moca] Locations?, martinb
      • Re: [moca] Locations?, Sanjiva Prasad
      • Re: [moca] Locations?, Martin Berger
      • Re: [moca] Locations?, Ilaria Castellani
      • Re: [moca] Locations?, Robin Milner
      • Re: [moca] Locality and Name matching in Pi-Calculus, Michael Baldamus
      • Re: [moca] Locality and Name matching in Pi-Calculus, martinb
      • Re: [moca] Locations?, Antonio Ravara
      • Re: [moca] Locations?, Martin Berger
      • Re: [moca] Locations?, Antonio Ravara
      • Re: [moca] Locations?, Jean-Bernard Stefani
      • Re: [moca] Locations?, Peter Sewell
      • Re: [moca] Locations?, Alan Schmitt
  • <Possible follow-ups>
  • RE: [moca] Pointers on correct abstract machines for calculi with nested locations, LACOSTE Marc FTRD/DTL/GRE
• [moca] Seal Calculus paper announce, Giuseppe Castagna
• [moca] New JPiccola distribution, Oscar Nierstrasz
• [moca] types with behavioural effects, Davide Sangiorgi
• [moca] Model checking (Stochastic)pi-calculus, Pascal Poizat
  • Re: [moca] Model checking (Stochastic)pi-calculus, Benjamin Aziz
  • Re: [moca] Model checking (Stochastic)pi-calculus, Tom Chothia
  • Re: [moca] Model checking (Stochastic)pi-calculus, GianLuigi Ferrari
    • [moca] Spi Calculus Translated to pi-Calculus Preserving May-Testing, Michael Baldamus
• [moca] Anti-spam measures, Pascal Zimmer
  • Re: [moca] Anti-spam measures, Michael Baldamus
    • [moca] Pi's encodings of Spi, Benjamin Aziz
      • [moca] Re: Pi's encodings of Spi, Michael Baldamus
  • Re: [moca] Anti-spam measures, Pascal Zimmer
• [moca] Probabilistic Bisimulation of Pi-Calculus?, wang li bin
  • [moca] Re: Probabilistic Bisimulation of Pi-Calculus?, Janardan Mishra
• [moca] Visualization tool for mobile calculus, raheel
  • [moca] Re: Visualization tool for mobile calculus, Pascal Zimmer
• [moca] paper on proof techniques for MA -- update, Massimo Merro
• [moca] paper on proof techniques for Mobile Ambients., Massimo Merro
• [moca] CSP, Brian Madigan
  • [moca] Re: CSP, A E Lawrence
• [moca] General question: environment model vs calculus model, GOUAICH Abdelkader
• [moca] Distributed synchronous pi calculus with failure, Bill at GLO Ltd
• [moca] RE : synchronous implementation of Pi calculus w ith choice?, Wu Peng
• [moca] RE: RE: RE : synchronous implementation of Pi calculus w ith choice?, Alappatt,Antony
  • [moca] Re: RE: RE: RE : synchronous implementation of Pi calculus with choice?, wp
• [moca] synchronous implementation of Pi calculus with choice?, Bill at GLO Ltd
  • [moca] RE : synchronous implementation of Pi calculus with choice?, dalzilio
    • [moca] Re: RE : synchronous implementation of Pi calculus with choice?, Pawel . Wojciechowski
    • [moca] RE: RE : synchronous implementation of Pi calculus with choice?, Bill at GLO Ltd
      • [moca] Re: RE: RE : synchronous implementation of Pi calculus with choice?, Fabrice Le Fessant
      • [moca] Re: Re: RE: RE : synchronous implementation of Pi calculus with choice?, Pawel . Wojciechowski
      • [moca] Re: Re: RE: RE : synchronous implementation of Pi calculus with choice?, Fabrice Le Fessant
      • [moca] Re: Re: RE: RE : synchronous implementation of Pi calculus with choice?, Pawel . Wojciechowski
      • [moca] RE: Re: RE: RE : synchronous implementation of Pi calculus with choice?, Bill at GLO Ltd
      • [moca] RE: Re: RE: RE : synchronous implementation of Pi calculus with choice?, Fabrice Le Fessant
      • [moca] RE: Re: RE: RE : synchronous implementation of Pi calculus with choice?, Bill at GLO Ltd
      • [moca] Re: RE: RE : synchronous implementation of Pi calculus with choice?, Catuscia Palamidessi
• [moca] methodology questions, Brian Madigan
  • [moca] Re: methodology questions, Vasco Thudichum Vasconcelos
• [moca] Applying transformations on an algebraic expression., Van Oudheusden Karel
• [moca] A graphical implementation of ambients, Pascal Zimmer
• [moca] Paper on the expressivity of pi-calculus, Sergio Maffeis
• [moca] Paper announcement., Massimo Merro
• [moca] Paper announcement: Calcagno, Cardelli, Gordon "Deciding Validity in a Spatial Logic for Trees", Andy Gordon
• [moca] Paper announcement: A Spatial Logic for Concurrency (Parts I and II), Luis Caires
• [moca] Timed Pi-Calculus?, Chen Jing
  • Re: [moca] Timed Pi-Calculus?, Glynn Winskel
    • Re: [moca] Timed Pi-Calculus?, Bill Rounds
  • <Possible follow-ups>
  • Re: [moca] Timed Pi-Calculus?, Martin Berger
• [moca] The Picasso tool, Benjamin Aziz
• [moca] Paper announcement, Jerome Feret
  • <Possible follow-ups>
  • [moca] Paper announcement, Cedric
  • [moca] Paper announcement, Antonio Ravara
  • [moca] Paper announcement, Hans Huttel
  • [moca] Paper announcement, Pascal Zimmer
  • [moca] Paper announcement, Ole Hoegh Jensen
• [moca] expressivity on name generation, Roberto Amadio
  • [moca] full version of paper on expressiveness of pi vs. asynchronous pi, Catuscia Palamidessi
• [moca] New address, Joachim Parrow
• [moca] {MIC*} Paper announcement, GOUAICH Abdelkader
• [moca] paper on termination, Davide Sangiorgi
• Bigraphical reactive systems, Robin Milner
• Bigraphs, Robin Milner
• Ph.D.: ``Operational congruences for reactive systems'', James Leifer
• Two papers on the pi-calculus., Kohei Honda
• [no subject], Peter Sewell
• Paper announcement: A Spatial Logic for Concurrency (Part I), Luca Cardelli
• paper on the Dynamic Join Calculus, Alan Schmitt
• a paper: Bisimulation Congruences in Safe Ambients, Massimo Merro
• announcement book on the pi-calculus, Davide Sangiorgi
• decidability results, David Walker
• Prototype announcement: Pi-static analyzer III., Jerome Feret
• The anyone-can-contribute resource page for the Ambient calculi, Xudong Guan
• Cryptyc papers, Alan Jeffrey
• structural congruence, Gelsema, drs. T.E.
  • <Possible follow-ups>
  • Re: structural congruence, Robin Milner
  • RE: structural congruence, Gelsema, drs. T.E.
• Re: question about structural congruence, Daniel Hirschkoff
  • Re: question about structural congruence, Uwe . Nestmann
    • Re: question about structural congruence, Joachim Parrow
  • Re: question about structural congruence, Luis Caires
• A question about structural congruence, Luis Caires
  • Re: A question about structural congruence, Davide Sangiorgi
    • Message not available
      • Re: A question about structural congruence, Davide Sangiorgi
      • Re: A question about structural congruence, Benyamin Aziz
      • RE: A question about structural congruence, fu yx
      • Re: A question about structural congruence, Joachim Parrow
      • Re: A question about structural congruence, Joachim Parrow
• Can anyone give some open problems in pi-calculus?, zhang jie
• PhD thesis announcement, Massimo Merro
• Notes on nominal calculi for security and mobility, Andy Gordon
• New paper: An Abstract Interpretation Framework for Analysing Mobile Ambients, Sergio Maffeis
• A couple of papers., Marcelo Fiore
• Objects as processes, Hans Huttel
• Denotational meaning of Spi?, Benyamin Aziz
  • Re: Denotational meaning of Spi?, Martin Abadi
• Dynamic binding, Joachim Parrow
  • Re: Dynamic binding, Michael Baldamus
  • Re: Dynamic binding, YONEZAWA Akinori
  • Re: Dynamic binding, Kohei Honda
  • <Possible follow-ups>
  • RE: Dynamic binding, Luca Cardelli
    • Re: Dynamic binding and Latex to PDF, Oscar Nierstrasz
    • Re: Dynamic binding, Joachim Parrow
      • Re: Dynamic binding, Benjamin C. Pierce
      • Re: Dynamic binding, Peter Sewell
      • Re: Dynamic binding, Alan Schmitt
      • Re: Dynamic binding, Ian . Stark
  • RE: Dynamic binding, Luca Cardelli
  • dynamic binding, Joachim Parrow
    • Re: dynamic binding, Alan Schmitt
  • RE: dynamic binding, Luca Cardelli
• semantics of objects, Davide Sangiorgi
  • <Possible follow-ups>
  • Re: semantics of objects, Davide Sangiorgi
• paper announcement, Michele Boreale
  • paper announcement, Roberto Amadio
  • <Possible follow-ups>
  • paper announcement, Jerome Feret
• This forum., Kohei Honda
• Paper: Proof systems for pi-calculus logics, Mads Dam
• check and update the bib and web resources, Uwe . Nestmann
  • a paper: an abstract machine for ambients, Davide Sangiorgi
• models for mobility mailing list, Davide Sangiorgi