Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences

Sobocinski, Pawel

doi:10.4230/DagSemProc.04241.2

Document

Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences

Author Pawel Sobocinski

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 4241
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2005-02-18

PDF

File

PDF

DagSemProc.04241.2.pdf

Filesize: 354 kB
12 pages

Document Identifiers

DOI: 10.4230/DagSemProc.04241.2
URN: urn:nbn:de:0030-drops-286

Subject Classification

Keywords

graph transformation
category theory
bisimulation

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

This paper is intended as a short informal summary of some
of the topics which arose at the Dagstuhl meeting held 6/06/04-11/06/04.
In particular, we shall summarise some of the content of talks by H. Ehrig, F. Gadducci, O. H. Jensen, R. Milner, B. KÃ?Â¶nig,
V. Sassone  and the author. The general areas include adhesive
categories and generalisations, contextual labelled transition semantics
for graph transformation systems via borrowed-contexts and GIPOs, and
bigraphs. We shall conclude with a summary of some of the discussions
which followed the aforementioned presentations.

Cite As Get BibTex

Pawel Sobocinski. Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences. In Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. Dagstuhl Seminar Proceedings, Volume 4241, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005) https://doi.org/10.4230/DagSemProc.04241.2

Author Details

Pawel Sobocinski

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail