Hyland, J. M. E. Elements of a theory of algebraic theories. (English) Zbl 1420.18010 Theor. Comput. Sci. 546, 132-144 (2014). MSC: 18C20 68Q55 68Q85 PDFBibTeX XMLCite \textit{J. M. E. Hyland}, Theor. Comput. Sci. 546, 132--144 (2014; Zbl 1420.18010) Full Text: DOI arXiv
Levy, Paul Blain; Weldemariam, Kidane Yemane Exploratory functions on nondeterministic strategies, up to lower bisimilarity. (English) Zbl 1337.68187 Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 357-375 (2009). MSC: 68Q85 03B40 PDFBibTeX XMLCite \textit{P. B. Levy} and \textit{K. Y. Weldemariam}, Electron. Notes Theor. Comput. Sci. 249, 357--375 (2009; Zbl 1337.68187) Full Text: DOI
Turner, David; Winskel, Glynn Nominal domain theory for concurrency. (English) Zbl 1257.68110 Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 546-560 (2009). MSC: 68Q85 03E75 68Q55 PDFBibTeX XMLCite \textit{D. Turner} and \textit{G. Winskel}, Lect. Notes Comput. Sci. 5771, 546--560 (2009; Zbl 1257.68110) Full Text: DOI
Winskel, Glynn Prime algebraicity. (English) Zbl 1186.68271 Theor. Comput. Sci. 410, No. 41, 4160-4168 (2009). MSC: 68Q55 68Q85 06D99 PDFBibTeX XMLCite \textit{G. Winskel}, Theor. Comput. Sci. 410, No. 41, 4160--4168 (2009; Zbl 1186.68271) Full Text: DOI
Saunders-Evans, Lucy; Winskel, Glynn Event structure spans for nondeterministic dataflow. (English) Zbl 1277.68128 Amadio, Roberto (ed.) et al., Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 3, 109-129 (2007). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{L. Saunders-Evans} and \textit{G. Winskel}, Electron. Notes Theor. Comput. Sci. 175, No. 3, 109--129 (2007; Zbl 1277.68128) Full Text: DOI
Winskel, Glynn Event structures with symmetry. (English) Zbl 1277.68214 Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 611-652 (2007). MSC: 68Q85 18C15 68Q55 PDFBibTeX XMLCite \textit{G. Winskel}, Electron. Notes Theor. Comput. Sci. 172, 611--652 (2007; Zbl 1277.68214) Full Text: DOI
Dubtsov, R. S. Real-time stable event structures and marked Scott domains: An adjunction. (English) Zbl 1185.68442 Virbitskaite, Irina (ed.) et al., Perspectives of systems informatics. 6th international Andrei Ershov memorial conference, PSI 2006, Novosibirsk, Russia, June 27–30, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-70880-3/pbk). Lecture Notes in Computer Science 4378, 443-450 (2007). MSC: 68Q85 06B35 18A40 68Q55 PDFBibTeX XMLCite \textit{R. S. Dubtsov}, Lect. Notes Comput. Sci. 4378, 443--450 (2007; Zbl 1185.68442) Full Text: DOI
Winskel, Glynn; Zappa Nardelli, Francesco New-HOPLA: a higher-order process language with name generation. (English) Zbl 1090.68074 Levy, Jean-Jacques (ed.) et al., Exploring new frontiers of theoretical informatics. IFIP 18th world computer congress, TC1 3rd international conference on theoretical computer science (TCS2004), 22–27 August 2004, Toulouse, France. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8140-5/hbk). IFIP, International Federation for Information Processing 155, 521-534 (2004). MSC: 68Q85 68M14 68Q55 PDFBibTeX XMLCite \textit{G. Winskel} and \textit{F. Zappa Nardelli}, IFIP, Int. Fed. Inf. Process. 155, 521--534 (2004; Zbl 1090.68074)
Nygaard, Mikkel; Winskel, Glynn Domain theory for concurrency. (English) Zbl 1072.68062 Theor. Comput. Sci. 316, No. 1-3, 153-190 (2004). MSC: 68Q55 68Q85 18C50 03F52 PDFBibTeX XMLCite \textit{M. Nygaard} and \textit{G. Winskel}, Theor. Comput. Sci. 316, No. 1--3, 153--190 (2004; Zbl 1072.68062) Full Text: DOI
Nygaard, Mikkel; Winskel, Glynn Full abstraction for HOPLA. (English) Zbl 1274.68249 Amadio, Roberto (ed.) et al., CONCUR 2003 – concurrency theory. 14th international conference, Marseille, France, September 3–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40753-7/pbk). Lect. Notes Comput. Sci. 2761, 383-398 (2003). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{M. Nygaard} and \textit{G. Winskel}, Lect. Notes Comput. Sci. 2761, 383--398 (2003; Zbl 1274.68249) Full Text: DOI
Nygaard, Mikkel; Winskel, Glynn HOPLA – a higher-order process language. (English) Zbl 1012.68129 Brim, Luboš (ed.) et al., CONCUR 2002 - concurrency theory. 13th international conference, Brno, Czech Republic, August 20-23, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2421, 434-448 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Nygaard} and \textit{G. Winskel}, Lect. Notes Comput. Sci. 2421, 434--448 (2002; Zbl 1012.68129) Full Text: Link