Result 1 to 20 of 54 total
Relational presheaves as labelled transition systems. (English)
Pattinson, Dirk (ed.) et al., Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31‒April 1, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32783-4/pbk). Lecture Notes in Computer Science 7399, 40-50 (2012).
1
WiCcA: LTS generation tool for wire calculus. (English)
Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30‒September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 407-412 (2011).
2
Adhesivity is not enough: local Church-Rosser revisited. (English)
Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22‒26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 48-59 (2011).
3
Being Van Kampen is a universal property. (English)
Log. Methods Comput. Sci. 7, No. 1, Paper No. 14, 22 p., electronic only (2011).
4
Being Van kampen is a universal property. (English)
Comput. Res. Repos. 2011, Article No. 1101.4594 (2011).
5
Adhesivity is not enough: local church-rosser revisited (English)
MFCS, 48-59 (2011).
6
Wicca : LTS generation tool for wire calculus (English)
CALCO, 407-412 (2011).
7
Proceedings eight workshop on structural operational semantics 2011 (English)
EPTCS: SOS 62 (2011).
8
Deriving structural labelled transitions for mobile ambients. (English)
Inf. Comput. 208, No. 10, 1221-1242 (2010).
9
Representations of Petri net interactions. (English)
Gastin, Paul (ed.) et al., CONCUR 2010 ‒ concurrency theory. 21th international conference, CONCUR 2010, Paris, France, August 31 ‒ September 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15374-7/pbk). Lecture Notes in Computer Science 6269, 554-568 (2010).
10
Proceedings sixth workshop on structural operational semantics. (English)
Comput. Res. Repos. 2010, Article No. 1002.2978 (2010).
11
Representations of Petri net interactions (English)
CONCUR, 554-568 (2010).
12
Proceedings seventh workshop on structural operational semantics (English)
EPTCS: SOS 32 (2010).
13
Unfolding grammars in adhesive categories. (English)
Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7‒10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 350-366 (2009).
14
A non-interleaving process calculus for multi-party synchronisation. (English)
Comput. Res. Repos. 2009, Article No. 0912.0555 (2009).
15
Making the unobservable, unobservable. (English)
Electron. Notes Theor. Comput. Sci. 229, No. 3, 131-144 (2009).
16
Deriving labelled transition systems ‒ a structural approach. (English)
Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 98, 108-122 (2009).
17
Unfolding grammars in adhesive categories (English)
CALCO, 350-366 (2009).
18
Van kampen colimits as bicolimits in span (English)
CALCO, 335-349 (2009).
19
Deriving structural labelled transitions for mobile ambients. (English)
van Breugel, Franck (ed.) et al., CONCUR 2008 ‒ concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19‒22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 462-476 (2008).
20
Result 1 to 20 of 54 total
Start
Contact
Print
General Help
