Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman & Andrzej Wasowski (2010):
Modal and mixed specifications: key decision problems and their complexities.
Mathematical Structures in Computer Science 20(1),
pp. 75–103,
doi:10.1017/S0960129509990260.
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman & Andrzej Wąsowski (2008):
20 Years of Modal and Mixed Specifications.
Bulletin of EATCS 95.
Available at http://processalgebra.blogspot.com/2008/05/concurrency-column-for-beatcs-june-2008.html.
Dennis Dams (1996):
Abstract Interpretation and Partition Refinement for Model Checking.
Eindhoven University of Technology.
Matthew B. Dwyer, George S. Avrunin & James C. Corbett (1999):
Patterns in property specifications for finite-state verification.
In: Proceedings of the 21st international conference on Software engineering,
ICSE '99.
ACM,
New York, NY, USA,
pp. 411–420,
doi:10.1145/302405.302672.
Thomas T. Hildebrandt & Raghava Rao Mukkamala (2010):
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs.
In: Kohei Honda & Alan Mycroft: PLACES,
EPTCS 69,
pp. 59–73,
doi:10.4204/EPTCS.69.5.
Thomas T. Hildebrandt, Raghava Rao Mukkamala & Tijs Slaats (2011):
Safe Distribution of Declarative Processes.
In: SEFM,
pp. 237–252,
doi:10.1007/978-3-642-24690-6_17.
Kim Guldstrand Larsen & Bent Thomsen (1988):
A Modal Process Logic.
In: LICS.
IEEE Computer Society.
IEEE Computer Society,
pp. 203–210,
doi:10.1109/LICS.1988.5119.