The Models for Mobility List (Moca) Archive

• Thread Index

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