Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
23
views
15
references
Top references
cited by
12
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,924
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Foundations of Software Science and Computation Structures
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting
other
Author(s):
Hartmut Ehrig
,
Barbara König
Publication date
(Print):
2004
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Digitizing Fabrication
Most cited references
15
Record
: found
Abstract
: not found
Book
: not found
Categories for the Working Mathematician
Saunders Lane
(1971)
0
comments
Cited
181
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Barbed bisimulation
Robin Milner
,
Davide Sangiorgi
(1992)
0
comments
Cited
55
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Adhesive Categories
Stephen Lack
,
Paweł Sobociński
(2004)
0
comments
Cited
25
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2004
Pages
: 151-166
DOI:
10.1007/978-3-540-24727-2_12
SO-VID:
c7d16a6b-f3a0-4942-805f-e050d6c62819
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 5
Theories for the Global Ubiquitous Computer
pp. 72
Behavioral and Spatial Observations in a Logic for the π-Calculus
pp. 151
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting
pp. 273
Adhesive Categories
pp. 289
A Game Semantics of Local Names and Good Variables
pp. 499
Perfect-Information Stochastic Parity Games
Similar content
4,924
Synthesis of Dihydro-2-oxopyrrole (DPO) Building Blocks Catalyzed by Potassium Carbonate
Authors:
Yan-Shun Zhang
,
Hou-Ze Gui
,
Yin Wei
…
Évaluation de la douleur postopératoire (DPO) et identification de facteurs de risque en chirurgie proctologique sous AG : l’expérience d’un centre de référence
Authors:
S. Garcia
,
T. de Bretagne
,
M. Sigismond
…
Recursos humanos de saúde: um desafio estratégico para a qualidade da assistência de saúde e para a organização do SUS - com ênfase na enfermagem - subsídios para a discussão e análise da proposta do MS/FNS/DPO sobre agentes comunitários de saúde
Authors:
Stella Maria P. F. Barros
,
Nair Fábio da Silva
,
Maria Auxiliadora C. Christófaro
See all similar
Cited by
12
Adhesive and quasiadhesive categories
Authors:
Stephen Lack
,
Paweł Sobociński
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting
Authors:
Hartmut Ehrig
,
Barbara König
Adhesive High-Level Replacement Categories and Systems
Authors:
Hartmut Ehrig
,
Annegret Habel
,
Julia Padberg
…
See all cited by