Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio Concurrent semantics for fusions: weak prime domains and connected event structures. (English) Zbl 1518.68227 Inf. Comput. 281, Article ID 104770, 32 p. (2021). MSC: 68Q85 68Q42 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 281, Article ID 104770, 32 p. (2021; Zbl 1518.68227) Full Text: DOI
Chalopin, Jérémie; Chepoi, Victor A counterexample to Thiagarajan’s conjecture on regular event structures. (English) Zbl 1442.68131 J. Comput. Syst. Sci. 113, 76-100 (2020). MSC: 68Q85 05C12 18M99 52C23 68Q55 PDFBibTeX XMLCite \textit{J. Chalopin} and \textit{V. Chepoi}, J. Comput. Syst. Sci. 113, 76--100 (2020; Zbl 1442.68131) Full Text: DOI Link
Bahr, Patrick Convergence in infinitary term graph rewriting systems is simple. (English) Zbl 1398.68269 Math. Struct. Comput. Sci. 28, No. 8, 1363-1414 (2018). MSC: 68Q42 PDFBibTeX XMLCite \textit{P. Bahr}, Math. Struct. Comput. Sci. 28, No. 8, 1363--1414 (2018; Zbl 1398.68269) Full Text: DOI
Normann, Dag The sequential functionals of type \((\iota \rightarrow \iota)^n \rightarrow \iota\) form a dcpo for all \(n \in \mathbb N\). (English) Zbl 1459.03068 Log. Methods Comput. Sci. 14, No. 1, Paper No. 23, 11 p. (2018). MSC: 03D65 06B35 PDFBibTeX XMLCite \textit{D. Normann}, Log. Methods Comput. Sci. 14, No. 1, Paper No. 23, 11 p. (2018; Zbl 1459.03068) Full Text: DOI arXiv
Thiagarajan, P. S.; Yang, Shaofa Rabin’s theorem in the concurrency setting: a conjecture. (English) Zbl 1308.68085 Theor. Comput. Sci. 546, 225-236 (2014). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 03B25 03B44 PDFBibTeX XMLCite \textit{P. S. Thiagarajan} and \textit{S. Yang}, Theor. Comput. Sci. 546, 225--236 (2014; Zbl 1308.68085) Full Text: DOI
Varacca, Daniele; Yoshida, Nobuko Typed event structures and the linear \(\pi \)-calculus. (English) Zbl 1200.68165 Theor. Comput. Sci. 411, No. 19, 1949-1973 (2010). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Varacca} and \textit{N. Yoshida}, Theor. Comput. Sci. 411, No. 19, 1949--1973 (2010; Zbl 1200.68165) Full Text: DOI
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
Fiore, Marcelo; Hur, Chung-Kil On the construction of free algebras for equational systems. (English) Zbl 1170.18006 Theor. Comput. Sci. 410, No. 18, 1704-1729 (2009). Reviewer: Michel Hébert (Cairo) MSC: 18C05 08B20 68Q85 03B70 PDFBibTeX XMLCite \textit{M. Fiore} and \textit{C.-K. Hur}, Theor. Comput. Sci. 410, No. 18, 1704--1729 (2009; Zbl 1170.18006) Full Text: DOI
Schmidt, David A. Extracting program logics from abstract interpretations defined by logical relations. (English) Zbl 1316.68042 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, 339-356 (2007). MSC: 68N30 03B44 03B70 06A15 PDFBibTeX XMLCite \textit{D. A. Schmidt}, Electron. Notes Theor. Comput. Sci. 173, 339--356 (2007; Zbl 1316.68042) Full Text: DOI
Varacca, Daniele; Yoshida, Nobuko Probabilistic \(\pi\)-calculus and event structures. (English) Zbl 1279.68269 Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 147-166 (2007). MSC: 68Q85 68Q55 68Q87 PDFBibTeX XMLCite \textit{D. Varacca} and \textit{N. Yoshida}, Electron. Notes Theor. Comput. Sci. 190, No. 3, 147--166 (2007; Zbl 1279.68269) 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
Curien, Pierre-Louis Definability and full abstraction. (English) Zbl 1277.68120 Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 301-310 (2007). MSC: 68Q55 PDFBibTeX XMLCite \textit{P.-L. Curien}, Electron. Notes Theor. Comput. Sci. 172, 301--310 (2007; Zbl 1277.68120) Full Text: DOI Backlinks: MO
Abramsky, Samson Event domains, stable functions and proof-nets. (English) Zbl 1277.03058 Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 33-67 (2007). MSC: 03F52 68Q55 PDFBibTeX XMLCite \textit{S. Abramsky}, Electron. Notes Theor. Comput. Sci. 172, 33--67 (2007; Zbl 1277.03058) Full Text: DOI
Varacca, Daniele; Völzer, Hagen; Winskel, Glynn Probabilistic event structures and domains. (English) Zbl 1099.68054 Theor. Comput. Sci. 358, No. 2-3, 173-199 (2006). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{D. Varacca} et al., Theor. Comput. Sci. 358, No. 2--3, 173--199 (2006; Zbl 1099.68054) Full Text: DOI
Paolini, Luca A stable programming language. (English) Zbl 1094.68013 Inf. Comput. 204, No. 3, 339-375 (2006). MSC: 68N18 PDFBibTeX XMLCite \textit{L. Paolini}, Inf. Comput. 204, No. 3, 339--375 (2006; Zbl 1094.68013) Full Text: DOI
Abbes, Samy; Benveniste, Albert True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures. (English) Zbl 1093.68059 Inf. Comput. 204, No. 2, 231-274 (2006). MSC: 68Q85 PDFBibTeX XMLCite \textit{S. Abbes} and \textit{A. Benveniste}, Inf. Comput. 204, No. 2, 231--274 (2006; Zbl 1093.68059) Full Text: DOI
Honda, Kohei Processes and games. (English) Zbl 1272.68305 Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 40-69 (2004). MSC: 68Q85 PDFBibTeX XMLCite \textit{K. Honda}, Electron. Notes Theor. Comput. Sci. 71, 40--69 (2004; Zbl 1272.68305) Full Text: Link
Goldin, Dina Q.; Smolka, Scott A.; Attie, Paul C.; Sonderegger, Elaine L. Turing machines, transition systems, and interaction. (English) Zbl 1090.68040 Inf. Comput. 194, No. 2, 101-128 (2004). MSC: 68Q05 PDFBibTeX XMLCite \textit{D. Q. Goldin} et al., Inf. Comput. 194, No. 2, 101--128 (2004; Zbl 1090.68040) Full Text: DOI
Goldin, Dina Q.; Smolka, Scott A.; Wegner, Peter Turing machines, transition systems, and interaction. (English) Zbl 1260.68267 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, 120-136 (2002). MSC: 68Q85 68Q05 68Q15 PDFBibTeX XMLCite \textit{D. Q. Goldin} et al., Electron. Notes Theor. Comput. Sci. 52, No. 1, 120--136 (2002; Zbl 1260.68267) Full Text: DOI
Longley, John The sequentially realizable functionals. (English) Zbl 1022.03023 Ann. Pure Appl. Logic 117, No. 1-3, 1-93 (2002). Reviewer: Leon Harkleroad (Wilton) MSC: 03D65 03D45 68Q05 03B40 68Q55 PDFBibTeX XMLCite \textit{J. Longley}, Ann. Pure Appl. Logic 117, No. 1--3, 1--93 (2002; Zbl 1022.03023) Full Text: DOI
Hains, G.; Loulergue, F.; Mullins, J. Concrete data structures and functional parallel programming. (English) Zbl 0974.68029 Theor. Comput. Sci. 258, No. 1-2, 233-267 (2001). MSC: 68N18 PDFBibTeX XMLCite \textit{G. Hains} et al., Theor. Comput. Sci. 258, No. 1--2, 233--267 (2001; Zbl 0974.68029) Full Text: DOI
Valarcher, Pierre Intensional semantics of system \(T\) of Gödel. (English) Zbl 0962.68100 Spreen, Dieter (ed.), Domains IV. Workshop, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2-4, 1998. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 35, 14 p., electronic only (2000). MSC: 68Q55 PDFBibTeX XMLCite \textit{P. Valarcher}, in: Domains IV. Workshop, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2--4, 1998. Amsterdam: Elsevier. 14 p. (2000; Zbl 0962.68100)
Honda, Kohei; Yoshida, Nobuko Game-theoretic analysis of call-by-value computation. (English) Zbl 0930.68061 Theor. Comput. Sci. 221, No. 1-2, 393-456 (1999). MSC: 68Q10 PDFBibTeX XMLCite \textit{K. Honda} and \textit{N. Yoshida}, Theor. Comput. Sci. 221, No. 1--2, 393--456 (1999; Zbl 0930.68061) Full Text: DOI
Zhang, Guo-Qiang Quasi-prime algebraic domains. (English) Zbl 0873.68132 Theor. Comput. Sci. 155, No. 1, 221-264 (1996). MSC: 68Q55 18D15 68Q65 03B40 PDFBibTeX XMLCite \textit{G.-Q. Zhang}, Theor. Comput. Sci. 155, No. 1, 221--264 (1996; Zbl 0873.68132) Full Text: DOI
Spreen, Dieter Effective inseparability in a topological setting. (English) Zbl 0871.03035 Ann. Pure Appl. Logic 80, No. 3, 257-275 (1996). Reviewer: R.Downey (Wellington) MSC: 03D45 03D25 PDFBibTeX XMLCite \textit{D. Spreen}, Ann. Pure Appl. Logic 80, No. 3, 257--275 (1996; Zbl 0871.03035) Full Text: DOI
de Boer, Frank S.; Di Pierro, Alessandra; Palamidessi, Catuscia Nondeterminism and infinite computations in constraint programming. (English) Zbl 0872.68103 Theor. Comput. Sci. 151, No. 1, 37-78 (1995). MSC: 68Q55 68N17 03B70 68Q10 PDFBibTeX XMLCite \textit{F. S. de Boer} et al., Theor. Comput. Sci. 151, No. 1, 37--78 (1995; Zbl 0872.68103) Full Text: DOI
Curien, Pierre-Louis On the symmetry of sequentiality. (English) Zbl 1509.68145 Brookes, Stephen (ed.) et al., Mathematical foundations of programming semantics, 9th international conference, New Orleans, LA, USA, April 7–10, 1993. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 802, 29-71 (1994). MSC: 68Q55 03B70 18C50 18D15 68P05 68W05 91A80 PDFBibTeX XMLCite \textit{P.-L. Curien}, Lect. Notes Comput. Sci. 802, 29--71 (1994; Zbl 1509.68145) Full Text: DOI