Articles, chapters, papers, reports Department of Computer Science and Engineering
Senaste titlar
-
A Survey on Satisfiability Checking for the μ -Calculus Through Tree Automata
(2022)Algorithms for model checking and satisfiability of the modal μ -calculus start by converting formulas to alternating parity tree automata. Thus, model checking is reduced to checking acceptance by tree automata and ... -
Automated replication of tuple spaces via static analysis
(2022)Coordination languages for tuple spaces can offer significant advantages in the specification and implementation of distributed systems, but often do require manual programming effort to ensure consistency. We propose an ... -
Modelling Flocks of Birds from the Bottom Up
(2022)We argue that compositional specification based on formal languages can facilitate the modelling of, and reasoning about, sophisticated collective behaviour in many natural systems. One defines a system in terms of individual ... -
A PO Characterisation of Reconfiguration
(2022)We consider partial order semantics of concurrent systems in which local reconfigurations may have global side effects. That is, local changes happening to an entity may block or unblock events relating to others, namely, ...
RSS 1.0