-
1
-
2
-
3
-
4
Pure bigraphs: Structure and dynamics
Veröffentlicht in Information and computation
VolltextArtikel -
5
-
6
-
7
-
8
Algebraic laws for nondeterminism and concurrency
Veröffentlicht in Journal of the ACM
VolltextArtikel -
9
-
10
Discussant of Response to the Computer Journal Lecture by Morris Sloman
Veröffentlicht in Computer journal
VolltextArtikel -
11
-
12
-
13
-
14
-
15
Axioms for bigraphical structure
Veröffentlicht in Mathematical structures in computer science
VolltextArtikel -
16
A theory of type polymorphism in programming
Veröffentlicht in Journal of computer and system sciences
VolltextArtikel -
17
Bigraphs and Their Algebra
Veröffentlicht in Electronic notes in theoretical computer science
VolltextArtikel -
18
-
19
Local Bigraphs and Confluence: Two Conjectures
Veröffentlicht in Electronic notes in theoretical computer science
VolltextArtikel -
20