Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Bigraph> ?p ?o }
Showing triples 1 to 51 of
51
with 100 triples 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 wikiPageLength "4886".
- Bigraph wikiPageOutDegree "21".
- Bigraph wikiPageRevisionID "614364615".
- Bigraph wikiPageWikiLink Bisimulation.
- Bigraph wikiPageWikiLink Calculus_of_Communicating_Systems.
- Bigraph wikiPageWikiLink Calculus_of_communicating_systems.
- Bigraph wikiPageWikiLink Cambridge_University_Press.
- Bigraph wikiPageWikiLink Category:Formal_methods.
- Bigraph wikiPageWikiLink Category:Theoretical_computer_science.
- Bigraph wikiPageWikiLink Category_theory.
- Bigraph wikiPageWikiLink Combinatorial_species.
- Bigraph wikiPageWikiLink Diagram.
- Bigraph wikiPageWikiLink Graph_(mathematics).
- Bigraph wikiPageWikiLink IT_University_of_Copenhagen.
- Bigraph wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Bigraph wikiPageWikiLink Mobile_agent.
- Bigraph wikiPageWikiLink Monoidal_category.
- Bigraph wikiPageWikiLink Node_(mathematics).
- Bigraph wikiPageWikiLink Pi_calculus.
- Bigraph wikiPageWikiLink Robin_Milner.
- Bigraph wikiPageWikiLink Springer-Verlag.
- Bigraph wikiPageWikiLink Springer_Science+Business_Media.
- Bigraph wikiPageWikiLink Tree_(graph_theory).
- Bigraph wikiPageWikiLink Tree_(mathematics).
- Bigraph wikiPageWikiLink Ubiquitous_computing.
- Bigraph wikiPageWikiLink Vertex_(graph_theory).
- Bigraph wikiPageWikiLink Π-calculus.
- Bigraph wikiPageWikiLinkText "Bigraph".
- Bigraph wikiPageWikiLinkText "bigraph".
- Bigraph hasPhotoCollection Bigraph.
- Bigraph wikiPageUsesTemplate Template:About.
- Bigraph wikiPageUsesTemplate Template:Cite_book.
- Bigraph wikiPageUsesTemplate Template:Cite_conference.
- Bigraph wikiPageUsesTemplate Template:Reflist.
- Bigraph subject Category:Formal_methods.
- Bigraph subject Category:Theoretical_computer_science.
- Bigraph type Area.
- Bigraph type Article.
- Bigraph type Area.
- Bigraph type Article.
- Bigraph type Method.
- 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 wasDerivedFrom Bigraph?oldid=614364615.
- Bigraph isPrimaryTopicOf Bigraph.