Qin, Xudong; Bliudze, Simon; Madelaine, Eric; Hou, Zechen; Deng, Yuxin; Zhang, Min SMT-based generation of symbolic automata. (English) Zbl 1443.68114 Acta Inf. 57, No. 3-5, 627-656 (2020). MSC: 68Q85 68Q45 68Q55 68T20 PDF BibTeX XML Cite \textit{X. Qin} et al., Acta Inf. 57, No. 3--5, 627--656 (2020; Zbl 1443.68114) Full Text: DOI
Abd Alrahman, Yehia; Torres Vieira, Hugo A coordination protocol language for power grid operation control. (English) Zbl 1435.68332 J. Log. Algebr. Methods Program. 109, Article ID 100487, 32 p. (2019). MSC: 68T42 68Q60 68Q85 90B10 93B70 PDF BibTeX XML Cite \textit{Y. Abd Alrahman} and \textit{H. Torres Vieira}, J. Log. Algebr. Methods Program. 109, Article ID 100487, 32 p. (2019; Zbl 1435.68332) Full Text: DOI
Henrio, Ludovic; Madelaine, Eric; Zhang, Min A theory for the composition of concurrent processes. (English) Zbl 1347.68267 Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 175-194 (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{L. Henrio} et al., Lect. Notes Comput. Sci. 9688, 175--194 (2016; Zbl 1347.68267) Full Text: DOI
Merro, Massimo An observational theory for mobile ad hoc networks (full version). (English) Zbl 1165.68052 Inf. Comput. 207, No. 2, 194-208 (2009). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Merro}, Inf. Comput. 207, No. 2, 194--208 (2009; Zbl 1165.68052) Full Text: DOI
Chai, Mingren; Qu, Nan; Jiang, Ying Tree process calculus. (English) Zbl 1286.68346 Chen, Yixiang (ed.) et al., Proceedings of the 1st international conference on foundations of informatics, computing and software (FICS 2008), East China Normal University, Shanghai, China, June 3–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 212, 269-284 (2008). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{M. Chai} et al., Electron. Notes Theor. Comput. Sci. 212, 269--284 (2008; Zbl 1286.68346) Full Text: DOI
Merro, Massimo An observational theory for mobile ad hoc networks. (English) Zbl 1316.68099 Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 275-293 (2007). MSC: 68Q85 68M10 68Q55 PDF BibTeX XML Cite \textit{M. Merro}, Electron. Notes Theor. Comput. Sci. 173, 275--293 (2007; Zbl 1316.68099) Full Text: DOI
Amadio, Roberto M. A synchronous \(\pi\)-calculus. (English) Zbl 1124.68066 Inf. Comput. 205, No. 9, 1470-1490 (2007). MSC: 68Q85 68N19 PDF BibTeX XML Cite \textit{R. M. Amadio}, Inf. Comput. 205, No. 9, 1470--1490 (2007; Zbl 1124.68066) Full Text: DOI
Amadio, Roberto M. The SL synchronous language, revisited. (English) Zbl 1106.68016 J. Log. Algebr. Program. 70, No. 2, 121-150 (2007). MSC: 68N19 68Q85 PDF BibTeX XML Cite \textit{R. M. Amadio}, J. Log. Algebr. Program. 70, No. 2, 121--150 (2007; Zbl 1106.68016) Full Text: DOI
Prasad, K. V. S. A prospectus for mobile broadcasting systems. (English) Zbl 1316.68105 Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 295-300 (2006). MSC: 68Q85 68M10 PDF BibTeX XML Cite \textit{K. V. S. Prasad}, Electron. Notes Theor. Comput. Sci. 162, 295--300 (2006; Zbl 1316.68105) Full Text: DOI
Prasad, K. V. S. Broadcast calculus interpreted in CCS upto bisimulation. (English) Zbl 1260.68276 Aceto, Luca (ed.) et al., EXPRESS’01. Proceedings of the 8th international workshop on expressiveness in concurrency, a satellite workshop of CONCUR 2001, Aalborg, Denmark, August 20, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 52, No. 1, 83-100 (2002). MSC: 68Q85 PDF BibTeX XML Cite \textit{K. V. S. Prasad}, Electron. Notes Theor. Comput. Sci. 52, No. 1, 83--100 (2002; Zbl 1260.68276) Full Text: DOI
Hennessy, M.; Rathke, J. Bisimulations for a calculus of broadcasting systems. (English) Zbl 0915.68065 Theor. Comput. Sci. 200, No. 1-2, 225-260 (1998). MSC: 68Q10 68T15 PDF BibTeX XML Cite \textit{M. Hennessy} and \textit{J. Rathke}, Theor. Comput. Sci. 200, No. 1--2, 225--260 (1998; Zbl 0915.68065) Full Text: DOI