Wang, Longchun; Li, Qingguo Bounded complete domains and their logical form. (English) Zbl 07629149 Inf. Comput. 289, Part A, Article ID 104958, 29 p. (2022). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
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 × Cite Format Result Cite Review PDF Full Text: DOI
Jacobs, Bart; Mandemaker, Jorik; Furber, Robert The expectation monad in quantum foundations. (English) Zbl 1350.68178 Inf. Comput. 250, 87-114 (2016). MSC: 68Q55 18B30 18C20 18C50 81P10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Huang, Mengqiao; Zhou, Xiangnan; Li, Qingguo Re-visiting axioms of information systems. (English) Zbl 1336.68159 Inf. Comput. 247, 130-140 (2016). MSC: 68Q55 06B35 18B99 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Pavlovic, Dusko Monoidal computer. I: Basic computability by string diagrams. (English) Zbl 1317.68054 Inf. Comput. 226, 94-116 (2013). MSC: 68Q05 18D10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
de Brecht, Matthew; Yamamoto, Akihiro Topological properties of concept spaces (full version). (English) Zbl 1192.68428 Inf. Comput. 208, No. 4, 327-340 (2010). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Escardó, Martín; Ho, Weng Kin Operational domain theory and topology of sequential programming languages. (English) Zbl 1263.68104 Inf. Comput. 207, No. 3, 411-437 (2009). MSC: 68Q55 68N15 × Cite Format Result Cite Review PDF Full Text: DOI
Zhang, Guo-Qiang Mediating secure information flow policies. (English) Zbl 1127.68056 Inf. Comput. 205, No. 9, 1413-1425 (2007). MSC: 68Q55 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI
Rounds, William C.; Zhang, Guo-Qiang Clausal logic and logic programming in algebraic domains. (English) Zbl 1005.68094 Inf. Comput. 171, No. 2, 183-200 (2001). MSC: 68Q55 68N17 × Cite Format Result Cite Review PDF Full Text: DOI Link
Edalat, Abbas; Escardó, Martín Hötzel Integration in Real PCF. (English) Zbl 1005.03035 Inf. Comput. 160, No. 1-2, 128-166 (2000). MSC: 03B70 03D65 68Q55 03F60 × Cite Format Result Cite Review PDF Full Text: DOI Link
Bonsangue, Marcello M.; Kok, Joost N. Toward an infinitary logic of domains: Abramsky logic for transition systems. (English) Zbl 1004.03030 Inf. Comput. 155, No. 1-2, 170-201 (1999). MSC: 03B70 68Q55 68Q60 06B35 03G10 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI Link
Ranzato, Francesco Closures on CPOs form complete lattices. (English) Zbl 1004.06007 Inf. Comput. 152, No. 2, 236-249 (1999). MSC: 06A15 06B35 68Q55 06B23 × Cite Format Result Cite Review PDF Full Text: DOI Link
Giacobazzi, Roberto; Ranzato, Francesco Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements. (English) Zbl 0921.68057 Inf. Comput. 145, No. 2, 153-190 (1998). MSC: 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI Link
Nyström, Sven-Olof; Jonsson, Bengt A fully abstract semantics for concurrent constraint programming. (English) Zbl 0913.68134 Inf. Comput. 146, No. 2, 138-180 (1998). MSC: 68Q55 68N99 × Cite Format Result Cite Review PDF Full Text: DOI
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia Constraint logic programming with dynamic scheduling: A semantics based on closure operators. (English) Zbl 0882.68035 Inf. Comput. 137, No. 1, 41-67 (1997). MSC: 68N17 × Cite Format Result Cite Review PDF Full Text: DOI Link
de Bakker, J. W. Comparative semantics for flow of control in logic programming without logic. (English) Zbl 0728.68080 Inf. Comput. 94, No. 2, 123-179 (1991). MSC: 68Q55 68N17 × Cite Format Result Cite Review PDF Full Text: DOI
Mislove, Michael W.; Moss, Lawrence S.; Oles, Frank J. Non-well-founded sets modeled as ideal fixed points. (English) Zbl 0723.03031 Inf. Comput. 93, No. 1, 16-54 (1991). MSC: 03E65 68Q65 06B35 × Cite Format Result Cite Review PDF Full Text: DOI
America, Pierre; de Bakker, Jaco; Kok, Joost N.; Rutten, Jan Denotational semantics of a parallel object-oriented language. (English) Zbl 0695.68058 Inf. Comput. 83, No. 2, 152-205 (1989). Reviewer: G.Saake MSC: 68Q55 68N99 68N25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Hrbacek, Karel Convex powerdomains. II. (English) Zbl 0673.06004 Inf. Comput. 81, No. 3, 290-317 (1989). Reviewer: J.D.Lawson MSC: 06B35 06B23 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Hrbacek, Karel Convex powerdomains. I. (English) Zbl 0627.06011 Inf. Comput. 74, 198-225 (1987). Reviewer: Jimmie Lawson (Baton Rouge) MSC: 06B35 06B23 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI