Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Ambient_calculus> ?p ?o }
Showing triples 1 to 37 of
37
with 100 triples per page.
- Ambient_calculus abstract "In computer science, the ambient calculus is a process calculus devised by Luca Cardelli and Andrew D. Gordon in 1998, and used to describe and theorise about concurrent systems that include mobility. Here mobility means both computation carried out on mobile devices (i.e. networks that have a dynamic topology), and mobile computation (i.e. executable code that is able to move around the network). The ambient calculus provides a unified framework for modeling both kinds of mobility. It is used to model interactions in such concurrent systems as the Internet.Since its inception, the ambient calculus has grown into a family of closely related ambient calculi.".
- Ambient_calculus wikiPageExternalLink MobileAmbients.A4.pdf.
- Ambient_calculus wikiPageExternalLink AmbientCalculiOnline.
- Ambient_calculus wikiPageID "18934564".
- Ambient_calculus wikiPageLength "4011".
- Ambient_calculus wikiPageOutDegree "14".
- Ambient_calculus wikiPageRevisionID "687830003".
- Ambient_calculus wikiPageWikiLink API-Calculus.
- Ambient_calculus wikiPageWikiLink Andrew_D._Gordon.
- Ambient_calculus wikiPageWikiLink Category:Process_calculi.
- Ambient_calculus wikiPageWikiLink Computer_science.
- Ambient_calculus wikiPageWikiLink Concurrency_(computer_science).
- Ambient_calculus wikiPageWikiLink Internet.
- Ambient_calculus wikiPageWikiLink Lambda_calculus.
- Ambient_calculus wikiPageWikiLink Luca_Cardelli.
- Ambient_calculus wikiPageWikiLink Process_calculus.
- Ambient_calculus wikiPageWikiLink This_(computer_programming).
- Ambient_calculus wikiPageWikiLink Type_theory.
- Ambient_calculus wikiPageWikiLink Π-calculus.
- Ambient_calculus wikiPageWikiLinkText "Ambient calculus".
- Ambient_calculus wikiPageWikiLinkText "ambient calculus".
- Ambient_calculus wikiPageWikiLinkText "ambients".
- Ambient_calculus wikiPageUsesTemplate Template:Dead_link.
- Ambient_calculus wikiPageUsesTemplate Template:Reflist.
- Ambient_calculus subject Category:Process_calculi.
- Ambient_calculus type Language.
- Ambient_calculus type Model.
- Ambient_calculus type Language.
- Ambient_calculus type Model.
- Ambient_calculus type Redirect.
- Ambient_calculus comment "In computer science, the ambient calculus is a process calculus devised by Luca Cardelli and Andrew D. Gordon in 1998, and used to describe and theorise about concurrent systems that include mobility. Here mobility means both computation carried out on mobile devices (i.e. networks that have a dynamic topology), and mobile computation (i.e. executable code that is able to move around the network). The ambient calculus provides a unified framework for modeling both kinds of mobility.".
- Ambient_calculus label "Ambient calculus".
- Ambient_calculus sameAs Q4741426.
- Ambient_calculus sameAs m.0lbl.
- Ambient_calculus sameAs Q4741426.
- Ambient_calculus wasDerivedFrom Ambient_calculus?oldid=687830003.
- Ambient_calculus isPrimaryTopicOf Ambient_calculus.