Visar i datumordning:

Visas titlar 1-4 av 4

    • A PO Characterisation of Reconfiguration 

      Abd Alrahman, Yehia; Martel, Mauricio; Piterman, Nir (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, ...

    • Modelling Flocks of Birds from the Bottom Up 

      De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella (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 ...

    • Automated replication of tuple spaces via static analysis 

      De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Uwimbabazi, Aline (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 ...

    • A Survey on Satisfiability Checking for the μ -Calculus Through Tree Automata 

      Hausmann, Daniel; Piterman, Nir (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 ...