Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten Choreographies, logically. (English) Zbl 1423.68304 Distrib. Comput. 31, No. 1, 51-67 (2018). MSC: 68Q85 03F52 68N19 PDFBibTeX XMLCite \textit{M. Carbone} et al., Distrib. Comput. 31, No. 1, 51--67 (2018; Zbl 1423.68304) Full Text: DOI Link
Hella, Lauri; Järvisalo, Matti; Kuusisto, Antti; Laurinharju, Juhana; Lempiäinen, Tuomo; Luosto, Kerkko; Suomela, Jukka; Virtema, Jonni Weak models of distributed computing, with connections to modal logic. (English) Zbl 1322.68075 Distrib. Comput. 28, No. 1, 31-53 (2015). MSC: 68Q05 03B45 03B70 68M14 68Q10 68W15 PDFBibTeX XMLCite \textit{L. Hella} et al., Distrib. Comput. 28, No. 1, 31--53 (2015; Zbl 1322.68075) Full Text: DOI Link
Gorla, Daniele A taxonomy of process calculi for distribution and mobility. (English) Zbl 1231.68169 Distrib. Comput. 23, No. 4, 273-299 (2010). MSC: 68Q85 68M14 03B70 PDFBibTeX XMLCite \textit{D. Gorla}, Distrib. Comput. 23, No. 4, 273--299 (2010; Zbl 1231.68169) Full Text: DOI
Lozes, Étienne; Villard, Jules A spatial equational logic for the applied \(\pi \)-calculus. (English) Zbl 1231.68171 Distrib. Comput. 23, No. 1, 61-83 (2010). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{É. Lozes} and \textit{J. Villard}, Distrib. Comput. 23, No. 1, 61--83 (2010; Zbl 1231.68171) Full Text: DOI
Kurki-Suonio, R. Action systems in incremental and aspect-oriented modeling. (English) Zbl 1448.68131 Distrib. Comput. 16, No. 2-3, 201-217 (2003). MSC: 68M14 03B44 68Q60 PDFBibTeX XMLCite \textit{R. Kurki-Suonio}, Distrib. Comput. 16, No. 2--3, 201--217 (2003; Zbl 1448.68131) Full Text: DOI
Stoller, Scott D. Detecting global predicates in distributed systems with clocks. (English) Zbl 1448.68166 Distrib. Comput. 13, No. 2, 85-98 (2000). MSC: 68M14 03B70 PDFBibTeX XMLCite \textit{S. D. Stoller}, Distrib. Comput. 13, No. 2, 85--98 (2000; Zbl 1448.68166) Full Text: Link
Ladkin, Peter; Lamport, Leslie; Olivier, Bryan; Roegel, Denis Lazy caching in TLA. (English) Zbl 1448.68132 Distrib. Comput. 12, No. 2-3, 151-174 (1999). MSC: 68M14 03B44 68Q60 PDFBibTeX XMLCite \textit{P. Ladkin} et al., Distrib. Comput. 12, No. 2--3, 151--174 (1999; Zbl 1448.68132) Full Text: Link
Baier, Christel; Kwiatkowska, Marta Model checking for a probabilistic branching time logic with fairness. (English) Zbl 1448.68285 Distrib. Comput. 11, No. 3, 125-155 (1998). MSC: 68Q60 03B44 68Q85 68Q87 PDFBibTeX XMLCite \textit{C. Baier} and \textit{M. Kwiatkowska}, Distrib. Comput. 11, No. 3, 125--155 (1998; Zbl 1448.68285) Full Text: Link
Gray, James W. III; Syverson, Paul F. A logical approach to multilevel security of probabilistic systems. (English) Zbl 1448.68190 Distrib. Comput. 11, No. 2, 73-90 (1998). MSC: 68M25 03B45 03B70 PDFBibTeX XMLCite \textit{J. W. Gray III} and \textit{P. F. Syverson}, Distrib. Comput. 11, No. 2, 73--90 (1998; Zbl 1448.68190) Full Text: DOI Link