E-LIB Suche - Ergebnisse für: MILNER, ROBIN

1

An inductive characterization of matching in binding bigrap..:

Damgaard, Troels C. ; Glenstrup, Arne J. ; Birkedal, Lars.
Formal Aspects of Computing. 25 (2013) 2 - p. 257-288 , 2013

Link: https://doi.org/10.1007/..

2

The space and motion of communicating agents:

Milner, Robin , 2009

Link: https://doi.org/10.1017/..

3

Stochastic Bigraphs:

Krivine, Jean ; Milner, Robin ; Troina, Angelo
Electronic Notes in Theoretical Computer Science. 218 (2008) - p. 73-96 , 2008

Link: https://doi.org/10.1016/..

4

Bigraphs and Their Algebra:

Milner, Robin
Electronic Notes in Theoretical Computer Science. 209 (2008) - p. 5-19 , 2008

Link: https://doi.org/10.1016/..

5

Understanding Ubiquitous Computing:

Milner, Robin
Philosophical Transactions: Mathematical, Physical and Engineering Sciences. 366 (2008) 1881 - p. 3835-3836 , 2008

Link: https://www.jstor.org/st..

6

Matching of Bigraphs:

Birkedal, Lars ; Damgaard, Troels Christoffer ; Glenstrup, Arne John.
Electronic Notes in Theoretical Computer Science. 175 (2007) 4 - p. 3-19 , 2007

Link: https://doi.org/10.1016/..

7

Local Bigraphs and Confluence: Two Conjectures:

Milner, Robin
Electronic Notes in Theoretical Computer Science. 175 (2007) 3 - p. 65-73 , 2007

Link: https://doi.org/10.1016/..

8

Elements of interaction:

, In: ACM Turing award lectures,

Milner, Robin - p. 1991 ff. , 2007

Link: https://dl.acm.org/doi/1..

9

Elements of interaction:

, In: ACM Turing award lectures,

Milner, Robin - p. 1991 , 2007

Link: https://doi.org/10.1145/..

10

Pervasive Process Calculus:

Milner, Robin
Electronic Notes in Theoretical Computer Science. 162 (2006) - p. 255-259 , 2006

Link: https://doi.org/10.1016/..

11

Transition systems, link graphs and Petri nets:

LEIFER, JAMES J. ; MILNER, ROBIN
Mathematical Structures in Computer Science. 16 (2006) 6 - p. 989 , 2006

Link: https://doi.org/10.1017/..

12

Journeys in non-classical computation II: initial journeys ..:

Stepney, Susan ; Braunstein, Samuel L. ; Clark, John A....
International Journal of Parallel, Emergent and Distributed Systems. 21 (2006) 2 - p. 97-125 , 2006

Link: https://doi.org/10.1080/..

13

Pure bigraphs: Structure and dynamics:

Milner, Robin
Information and Computation. 204 (2006) 1 - p. 60-122 , 2006

Link: https://doi.org/10.1016/..

14

Journeys in non-classical computation I: A grand challenge ..:

Stepney, Susan ; Braunstein, Samuel L. ; Clark, John A....
International Journal of Parallel, Emergent and Distributed Systems. 20 (2005) 1 - p. 5-19 , 2005

Link: https://doi.org/10.1080/..

15

Axioms for bigraphical structure:

MILNER, ROBIN
Mathematical Structures in Computer Science. 15 (2005) 6 - p. 1005 , 2005

Link: https://doi.org/10.1017/..