Rathke, Julian; Sobociński, Paweł; Stephens, Owen Compositional reachability in Petri nets. (English) Zbl 1448.68351 Ouaknine, Joël (ed.) et al., Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8762, 230-243 (2014). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Rathke} et al., Lect. Notes Comput. Sci. 8762, 230--243 (2014; Zbl 1448.68351) Full Text: DOI
Rathke, Julian; Sobociński, Paweł Deriving structural labelled transitions for mobile ambients. (English) Zbl 1214.68251 Inf. Comput. 208, No. 10, 1221-1242 (2010). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Rathke} and \textit{P. Sobociński}, Inf. Comput. 208, No. 10, 1221--1242 (2010; Zbl 1214.68251) Full Text: DOI
Rathke, Julian; Sobociński, Paweł Making the unobservable, unobservable. (English) Zbl 1291.68290 Bonchi, Filippo (ed.) et al., Proceedings of the 1st interaction and concurrency experiences workshop (ICE 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 3, 131-144 (2009). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{J. Rathke} and \textit{P. Sobociński}, Electron. Notes Theor. Comput. Sci. 229, No. 3, 131--144 (2009; Zbl 1291.68290) Full Text: DOI
Rathke, Julian; Sobociński, Paweł Deriving labelled transition systems – a structural approach. (English) Zbl 1191.68446 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 98, 108-122 (2009). MSC: 68Q85 68Q42 PDF BibTeX XML Cite \textit{J. Rathke} and \textit{P. Sobociński}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 98, 108--122 (2009; Zbl 1191.68446)
Rathke, Julian; Sobociński, Paweł Deriving structural labelled transitions for mobile ambients. (English) Zbl 1160.68474 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). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Rathke} and \textit{P. Sobociński}, Lect. Notes Comput. Sci. 5201, 462--476 (2008; Zbl 1160.68474) Full Text: DOI
Rathke, Julian; Sassone, Vladimiro; Sobociński, Paweł Semantic barbs and biorthogonality. (English) Zbl 1195.68073 Seidl, Helmut (ed.), Foundations of software science and computational structures. 10th international conference, FOSSACS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71388-3/pbk). Lecture Notes in Computer Science 4423, 302-316 (2007). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Rathke} et al., Lect. Notes Comput. Sci. 4423, 302--316 (2007; Zbl 1195.68073) Full Text: DOI