Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano Characterising spectra of equivalences for event structures, logically. (English) Zbl 1504.68138 Inf. Comput. 285, Part B, Article ID 104887, 25 p. (2022). MSC: 68Q85 03B45 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 285, Part B, Article ID 104887, 25 p. (2022; Zbl 1504.68138) Full Text: DOI
Gorrieri, Roberto A study on team bisimulation and H-team bisimulation for BPP nets. (English) Zbl 07437214 Theor. Comput. Sci. 897, 83-113 (2022). MSC: 68Q85 03B45 PDFBibTeX XMLCite \textit{R. Gorrieri}, Theor. Comput. Sci. 897, 83--113 (2022; Zbl 07437214) Full Text: DOI
Gorrieri, Roberto Causal semantics for BPP nets with silent moves. (English) Zbl 1496.68224 Fundam. Inform. 180, No. 3, 179-249 (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Gorrieri}, Fundam. Inform. 180, No. 3, 179--249 (2021; Zbl 1496.68224) Full Text: DOI
Gorrieri, Roberto Team bisimilarity, and its associated modal logic, for BPP nets. (English) Zbl 1497.68339 Acta Inf. 58, No. 5, 529-569 (2021). MSC: 68Q85 03B45 03B70 PDFBibTeX XMLCite \textit{R. Gorrieri}, Acta Inf. 58, No. 5, 529--569 (2021; Zbl 1497.68339) Full Text: DOI
Gorrieri, Roberto A study on team bisimulations for BPP nets. (English) Zbl 1498.68185 Janicki, Ryszard (ed.) et al., Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12152, 153-175 (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Gorrieri}, Lect. Notes Comput. Sci. 12152, 153--175 (2020; Zbl 1498.68185) Full Text: DOI
Fröschle, Sibylle Causality, behavioural equivalences, and the security of cyberphysical systems. (English) Zbl 1444.68041 Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 83-98 (2015). MSC: 68M25 68Q60 68Q85 PDFBibTeX XMLCite \textit{S. Fröschle}, Lect. Notes Comput. Sci. 9360, 83--98 (2015; Zbl 1444.68041) Full Text: DOI
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael Space-efficient scheduling of stochastically generated tasks. (English) Zbl 1285.68020 Inf. Comput. 210, 87-110 (2012). MSC: 68M20 68Q85 PDFBibTeX XMLCite \textit{T. Brázdil} et al., Inf. Comput. 210, 87--110 (2012; Zbl 1285.68020) Full Text: DOI