Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Bigraphs as a Model for Mobile Interaction

Bigraphs as a Model for Mobile Interaction

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2505/2002
BookGraph Transformation
DOI10.1007/3-540-45832-8
Copyright2002
ISBN978-3-540-44310-0
DOI10.1007/3-540-45832-8_3
Pages8-13
Subject CollectionComputer Science
SpringerLink DateTuesday, January 01, 2002
Add to marked items

Bigraphs as a Model for Mobile Interaction

Robin Milner8

(8)  The Computer Laboratory, Cambridge University, William Gates Building, J J Thomson Avenue, Cambridge, CB3 0FD, UK
Abstract
A bigraphical reactive system (BRS) involves bigraphs, in which the nesting of nodes represents locality, independently of the edges connecting them. BRSs represent a wide variety of calculi for mobility, including the π-calculus. This short essay explains how bigraphs compose, and uses the π-calculus to illustrate how they already provide elements of a unifying theory for calculi of mobile interactive processes.
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.108 • Server: mpweb02
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)