Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Bigraph> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- Bigraph abstract "A bigraph (often used in the plural bigraphs) can be modelled as the superposition of a graph (the link graph) and a set of trees (the place graph).Each node of the bigraph is part of a graph and also part of some tree that describes how the nodes are nested. Bigraphs can be conveniently and formally displayed as diagrams. They have applications in the modelling of distributed systems for ubiquitous computing and can be used to describe mobile interactions. They have also been used by Robin Milner in an attempt to subsume Calculus of Communicating Systems (CCS) and π-calculus. They have been studied in the context of category theory.".
- Bigraph wikiPageExternalLink bigraphsbib.
- Bigraph wikiPageID "3804402".
- Bigraph wikiPageRevisionID "600013531".
- Bigraph hasPhotoCollection Bigraph.
- Bigraph subject Category:Formal_methods.
- Bigraph subject Category:Theoretical_computer_science.
- Bigraph type Ability105616246.
- Bigraph type Abstraction100002137.
- Bigraph type Cognition100023271.
- Bigraph type FormalMethods.
- Bigraph type Know-how105616786.
- Bigraph type Method105660268.
- Bigraph type PsychologicalFeature100023100.
- Bigraph comment "A bigraph (often used in the plural bigraphs) can be modelled as the superposition of a graph (the link graph) and a set of trees (the place graph).Each node of the bigraph is part of a graph and also part of some tree that describes how the nodes are nested. Bigraphs can be conveniently and formally displayed as diagrams. They have applications in the modelling of distributed systems for ubiquitous computing and can be used to describe mobile interactions.".
- Bigraph label "Bigraph".
- Bigraph sameAs m.0dsf8_h.
- Bigraph sameAs Q4907018.
- Bigraph sameAs Q4907018.
- Bigraph sameAs Bigraph.
- Bigraph wasDerivedFrom Bigraph?oldid=600013531.
- Bigraph isPrimaryTopicOf Bigraph.