On the construction of sorted reactive systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5201 LNCS, Issue , 2008, Pages 218-232

  Birkedal, Lars ^a   Debois, Søren ^a   Hildebrandt, Thomas ^a  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

BIGRAPHICAL REACTIVE SYSTEMS; BIGRAPHS; NEW APPLICATIONS; PRECISE; REACTIVE SYSTEMS;

APPLICATIONS;

EID: 54249103572     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85361-9_20     Document Type: Conference Paper

References (23)

1. Milner, R.: Pure bigraphs: Structure and dynamics. Information and Computation 204(1), 60-122 (2006)
2. Milner, R., Leifer, J.J.: Transition systems, link graphs and Petri nets. Technical Report 598, U. of Cambridge Computer Laboratory (2004)
3. Milner, R.: Bigraphs whose names have multiple locality. Technical Report 603, U. of Cambridge Computer Laboratory (2004)
4. Jensen, O.H., Milner, R.: Bigraphs and mobile processes (revised). Technical Report 580, U. of Cambridge Computer Laboratory (2004)
5. Milner, R.: Bigraphs for petri nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 686-701. Springer, Heidelberg (2004)
6. Jensen, O.H.: Mobile Processes in Bigraphs. PhD thesis, U. of Aalborg (forthcoming 2008)
7. Bundgaard, M., Sassone, V.: Typed polyadic pi-calculus in bigraphs. In: PPDP 2006, pp. 1-12 (2006)
8. Grohmann, D., Miculan, M.: Reactive systems over directed bigraphs. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 380-394. Springer, Heidelberg (2007)
9. Bundgaard, M., Hildebrandt, T.: Bigraphical semantics of higher-order mobile embedded resources with local names. In: GT-VC 2005. ENTCS, vol. 154, pp. 7-29 (2006)
10. Milner, R.: Local bigraphs and confluence: Two conjectures. In: EXPRESS 2006, pp. 42-50 (2006)
11. Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., Niss, H.: Bigraphical Models of Context-aware Systems. In: Aceto, L., Ingó lfsdóttir, A. (eds.) FOSSACS 2006. LNCS, vol. 3921. Springer, Heidelberg (2006)
12. Leifer, J.J., Milner, R.: Deriving bisimulation congruences for reactive systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 243-258. Springer, Heidelberg (2000)
13. Leifer, J.J.: Operational Congruences for Reactive Systems. PhD thesis, U. of Cambridge Computer Laboratory and Trinity College (2001)
14. Sewell, P.: From rewrite rules to bisimulation congruences. Theoretical Computer Science 274(1-2), 183-230 (2002)
15. Birkedal, L., Debois, S., Hildebrandt, T.: Sortings for reactive systems. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 248-262. Springer, Heidelberg (2006)
16. Debois, S.: Sortings and Bigraphs. PhD thesis, IT University of Copenhagen (2008), http://www.itu.dk/people/debois/pubs/thesis.pdf
17. Leifer, J.J.: Synthesising labelled transitions and operational congruences in reactive systems, part 2. Technical Report RR-4395, INRIA (2002)
18. Conforti, G., Macedonio, D., Sassone, V.: Spatial logics for bigraphs. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 766-778. Springer, Heidelberg (2005)
19. Sassone, V., Sobocinski, P.: Deriving bisimulation congruences: 2-categories vs. precategories. In: Gordon, A.D. (ed.) FOSSACS 2003. LNCS, vol. 2620, pp. 409-424. Springer, Heidelberg (2003)
20. Sassone, V., Sobocinski, P.: Reactive systems over cospans. In: LICS 2005, pp. 311-320. IEEE, Los Alamitos (2005)
21. Milner, R.: Personal communication (2006)
22. Bonchi, F., Gadducci, F., König, B.: Process bisimulation via a graphical encoding. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 168-183. Springer, Heidelberg (2006)
23. Ehrig, H., König, B.: Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Mathematical Structures in Computer Science 16(6), 1133-1163 (2006)