Del Vecchio, Stefano; Mogbil, Virgile An interpretation of CCS into ludics. (English) Zbl 1433.68247 Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 97-114 (2018). MSC: 68Q85 03F52 PDFBibTeX XMLCite \textit{S. Del Vecchio} and \textit{V. Mogbil}, Electron. Notes Theor. Comput. Sci. 338, 97--114 (2018; Zbl 1433.68247) Full Text: DOI
Roversi, Luca A deep inference system with a self-dual binder which is complete for linear lambda calculus. (English) Zbl 1403.03021 J. Log. Comput. 26, No. 2, 677-698 (2016). MSC: 03B40 03F52 03F05 PDFBibTeX XMLCite \textit{L. Roversi}, J. Log. Comput. 26, No. 2, 677--698 (2016; Zbl 1403.03021) Full Text: DOI arXiv
Broy, Manfred; Stølen, Ketil Specification and development of interactive systems. Focus on streams, interfaces, and refinement. (English) Zbl 0981.68115 Monographs in Computer Science. New York, NY: Springer. xv, 348 p. (2001). Reviewer: Costică Moroşanu (Iaşi) MSC: 68Q85 68-02 03B44 03B45 PDFBibTeX XMLCite \textit{M. Broy} and \textit{K. Stølen}, Specification and development of interactive systems. Focus on streams, interfaces, and refinement. New York, NY: Springer (2001; Zbl 0981.68115) Full Text: DOI
Milner, Robin Communicating and mobile systems: The \(\pi\)-calculus. (English) Zbl 0942.68002 Cambridge: Cambridge University Press. xii, 161 p. (1999). Reviewer: Martin Hofmann (Edinburgh) MSC: 68-02 68Q85 03-02 68Q10 68Q60 68Q55 68Q42 68N30 68N15 03B70 PDFBibTeX XMLCite \textit{R. Milner}, Communicating and mobile systems: The \(\pi\)-calculus. Cambridge: Cambridge University Press (1999; Zbl 0942.68002)
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna A Cook’s tour of equational axiomatizations for prefix iteration. (English) Zbl 0901.03027 Nivat, Maurice (ed.), Foundations of software science and computation structures. 1st international conference, FoSSaCS ’98. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1378, 20-34 (1998). MSC: 03B70 68Q55 PDFBibTeX XMLCite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 1378, 20--34 (1998; Zbl 0901.03027)
Abramsky, S. (ed.); Gabbay, Dov M. (ed.); Maibaum, T. S. E. (ed.) Handbook of logic in computer science. Vol. 4: Semantic modelling. (English) Zbl 0876.68001 Oxford: Clarendon Press. xiii, 651 p. (1995). MSC: 68-00 00B15 68Q55 03B70 68Q10 68Q65 03D45 68Q60 06B35 03B40 PDFBibTeX XMLCite \textit{S. Abramsky} (ed.) et al., Handbook of logic in computer science. Vol. 4: Semantic modelling. Oxford: Clarendon Press (1995; Zbl 0876.68001)
Tekko, Jaanus A formal model for the language LSD and the calculus CSD. (Russian. English summary) Zbl 0794.68051 Eesti Tead. Akad. Toim., Füüs. Mat. 40, No. 4, 266-278 (1991). MSC: 68Q10 03B80 03F03 PDFBibTeX XMLCite \textit{J. Tekko}, Eesti Tead. Akad. Toim., Füüs. Mat. 40, No. 4, 266--278 (1991; Zbl 0794.68051)
Kanellakis, Paris C.; Smolka, Scott A. CCS expressions, finite state processes, and three problems of equivalence. (English) Zbl 0705.68063 Inf. Comput. 86, No. 1, 43-68 (1990). MSC: 68Q25 68Q05 68Q10 03D15 PDFBibTeX XMLCite \textit{P. C. Kanellakis} and \textit{S. A. Smolka}, Inf. Comput. 86, No. 1, 43--68 (1990; Zbl 0705.68063) Full Text: DOI
Stirling, C. Temporal logics for CCS. (Technical contribution). (English) Zbl 0683.68016 Linear time, branching time and partial order in logics and models for concurrency, proc. Workshop, Noordwijkerhout/NL 1988, Lect. Notes Comput. Sci. 354, 660-672 (1989). Reviewer: N.Curteanu MSC: 68Q60 68N25 03B45 68Q55 68Q85 PDFBibTeX XML
Winskel, Glynn A complete proof system for SCCS with modal assertions. (English) Zbl 0636.68017 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 9, 401-419 (1986). MSC: 68Q60 03B70 68N25 68T15 03B45 PDFBibTeX XMLCite \textit{G. Winskel}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 9, 401--419 (1986; Zbl 0636.68017)
Graf, S.; Sifakis, J. A modal characterization of observational congruence on finite terms of CCS. (English) Zbl 0551.68034 Automata, languages and programming, 11th Colloq., Antwerp/Belg. 1984, Lect. Notes Comput. Sci. 172, 222-234 (1984). Reviewer: J.Zlatuska MSC: 68Q65 68Q60 03B45 68N25 PDFBibTeX XML
Hennessy, M. C. B.; Plotkin, G. D. A term model for CCS. (English) Zbl 0479.68011 Mathematical foundations of computer science, Proc. 9th Symp., Rydzyna/Pol. 1980, Lect. Notes Comput. Sci. 88, 261-274 (1980). MSC: 68N01 68Q65 03B40 68N25 PDFBibTeX XML