Search results
Results: 130
Number of items: 130
-
Middelburg, C. A. (2024). Imperative Process Algebra and Models of Parallel Computation. Theory of Computing Systems, 68(3), 529-570. https://doi.org/10.1007/s00224-024-10164-0 -
Middelburg, C. A. (2024). On the Formalization of the Notion of an Algorithm. In A. Cavalcanti, & J. Baxter (Eds.), The Practice of Formal Methods: Essays in Honour of Cliff Jones (Vol. II, pp. 23-44). (Lecture Notes in Computer Science; Vol. 14781). Springer. https://doi.org/10.1007/978-3-031-66673-5_2
-
Middelburg, C. A. (2024). Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis. Theoretical Computer Science, 1008, Article 114681. https://doi.org/10.1016/j.tcs.2024.114681
-
Middelburg, C. A. (2024). Paraconsistent logic and query answering in inconsistent databases. Journal of Applied Non-Classical Logics, 34(1), 133-154. https://doi.org/10.1080/11663081.2024.2312776
-
Middelburg, C. A. (2023). Belnap-Dunn Logic and Query Answering in Inconsistent Databases with Null Values. Scientific Annals of Computer Science, 33(2), 159-192. https://doi.org/10.7561/SACS.2023.2.159
-
Middelburg, C. A. (2023). Dormancy-aware timed branching bisimilarity for timed analysis of communication protocols. (v4 ed.) ArXiv. https://doi.org/10.48550/arXiv.2107.08921
-
Middelburg, C. A. (2022). Program Algebra for Random Access Machine Programs. Scientific Annals of Computer Science, 32(2), 285-319. https://doi.org/10.7561/SACS.2022.2.285
-
Middelburg, C. A. (2022). Imperative Process Algebra with Abstraction. Scientific Annals of Computer Science, 32(1), 137-179. https://doi.org/10.7561/SACS.2022.1.137
-
Middelburg, C. A. (2021). On the strongest three-valued paraconsistent logic contained in classical logic and its dual. Journal of Logic and Computation, 31(2), 597-611. https://doi.org/10.1093/logcom/exaa084
-
Bergstra, J. A., & Middelburg, C. A. (2021). Using Hoare Logic in a Process Algebra Setting. Fundamenta Informaticae, 179(4), 321-344. https://doi.org/10.3233/FI-2021-2026
Page 1 of 13