References

  1. Sarita V. Adve & Kourosh Gharachorloo (1996): Shared Memory Consistency Models: A Tutorial. IEEE Computer 29(12), pp. 66–76, doi:10.1109/2.546611.
  2. Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa & Germán Puebla (2012): COSTABS: A Cost and Termination Analyzer for ABS. In: Proc. ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. ACM, pp. 151–154, doi:10.1145/2103746.2103774.
  3. Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa & Peter Y. H. Wong (2013): aPET: a test case generation tool for concurrent objects. In: Bertrand Meyer, Luciano Baresi & Mira Mezini: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13. ACM, pp. 595–598, doi:10.1145/2491411.2494590.
  4. Henry C. Baker, Jr. & Carl Hewitt (1977): The Incremental Garbage Collection of Processes. SIGART Bull. 64, pp. 55–59, doi:10.1145/872736.806932.
  5. Shiji Bijo, Einar Broch Johnsen, Ka I. Pun & S. Lizeth Tapia Tarifa (2016): An Operational Semantics of Cache Coherent Multicore Architectures. In: Proceedings of the 31st Annual ACM Symposium on Applied Computing, SAC '16. ACM, pp. 1219–1224, doi:10.1145/2851613.2851718.
  6. Gérard Boudol, Gustavo Petri & Bernard P. Serpette (2012): Relaxed Operational Semantics of Concurrent Programming Languages. In: Bas Luttik & Michel A. Reniers: EXPRESS/SOS, Proc., EPTCS 89, pp. 19–33, doi:10.4204/EPTCS.89.3.
  7. Sebastian Burckhardt, Madanlal Musuvathi & Vasu Singh (2010): Verifying Local Transformations on Relaxed Memory Models. In: Rajiv Gupta: Compiler Construction: 19th Intl. Conf.+.1667em CC. Springer, pp. 104–123, doi:10.1007/978-3-642-11970-5_7.
  8. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott (2007): All About Maude - a High-performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic. Springer-Verlag, doi:10.1007/978-3-540-71999-1.
  9. Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan & Michael Lienhardt (2017): A Unified and Formal Programming Model for Deltas and Traits. In: Marieke Huisman & Julia Rubin: Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Lecture Notes in Computer Science 10202. Springer, pp. 424–441, doi:10.1007/978-3-662-54494-5_25.
  10. Crystal Chang Din, Richard Bubel & Reiner Hähnle (2015): KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. In: Amy P. Felty & Aart Middeldorp: Intl. Conference on Automated Deduction, LNCS 9195. Springer, pp. 517–526, doi:10.1007/978-3-319-21401-6_35.
  11. Crystal Chang Din & Olaf Owe (2015): Compositional reasoning about active objects with shared futures. Formal Aspects of Computing 27(3), pp. 551–572, doi:10.1007/s00165-014-0322-y.
  12. Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle & Einar Broch Johnsen (2015): History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. In: Michael J. Butler, Sylvain Conchon & Fatiha Zaïdi: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Proceedings, Lecture Notes in Computer Science 9407. Springer, pp. 217–233, doi:10.1007/978-3-319-25423-4_14.
  13. Antonio Flores-Montoya, Elvira Albert & Samir Genaim (2013): May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects. In: Formal Techniques for Distributed Systems, FMOODS/FORTE, pp. 273–288, doi:10.1007/978-3-642-38592-6_19.
  14. Reiner Hähnle (2012): The Abstract Behavioral Specification Language: A Tutorial Introduction. In: Elena Giachino, Reiner Hähnle, Frank S. de Boer & Marcello M. Bonsangue: Formal Methods for Components and Objects, 11th Intl. Symp., FMCO, Bertinoro, Italy, pp. 1–37, doi:10.1007/978-3-642-40615-7_1.
  15. Carl Hewitt, Peter Bishop & Richard Steiger (1973): A universal modular ACTOR formalism for artificial intelligence. In: Proceedings of the 3rd International Joint Conference on Artificial Intelligence, IJCAI'73. Morgan Kaufmann Publishers Inc., pp. 235–245. Available at http://dl.acm.org/citation.cfm?id=1624775.1624804.
  16. Gerard J. Holzmann (1991): Design and Validation of Computer Protocols. Prentice-Hall, Inc..
  17. Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte & Martin Steffen (2010): ABS: A Core Language for Abstract Behavioral Specification. In: Bernhard K. Aichernig, Frank S. de Boer & Marcello M. Bonsangue: Formal Methods for Components and Objects, 9th Intl. Symp., FMCO, pp. 142–164, doi:10.1007/978-3-642-25271-6_8.
  18. Eduard Kamburjan (2018): Detecting Deadlocks in Formal System Models with Condition Synchronization. In: Accepted for Publication at AVoCS'18.
  19. Eduard Kamburjan & Reiner Hähnle (2017): Uniform Modeling of Railway Operations. In: Cyrille Artho & Peter Csaba Ölveczky: Formal Techniques for Safety-Critical Systems: 5th Intl. Workshop, FTSCS, Revised Selected Papers. Springer, pp. 55–71, doi:10.1007/978-3-319-53946-1_4.
  20. Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani & Gul A. Agha (2016): Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking. In: Dragan Bosnacki & Anton Wijs: Model Checking Software, 23rd Intl. Symp., SPIN, pp. 165–181, doi:10.1007/978-3-319-32582-8_11.
  21. Leslie Lamport (1979): How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs. IEEE Trans. Computers 28(9), pp. 690–691, doi:10.1109/TC.1979.1675439.
  22. Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen & Ming-Chang Lee (2016): ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. In: Perdita Stevens & Andrzej Wasowski: Fundamental Approaches to Software Engineering, 19th Intl. Conf., FASE, pp. 49–65, doi:10.1007/978-3-662-49665-7_4.
  23. Heiko Mantel, Matthias Perner & Jens Sauer (2014): Noninterference under Weak Memory Models. In: IEEE 27th Computer Security Foundations Symp., CSF. IEEE Computer Society, pp. 80–94, doi:10.1109/CSF.2014.14.
  24. Radu Muschevici, Dave Clarke & José Proença (2013): Executable modelling of dynamic software product lines in the ABS language. In: Andreas Classen & Norbert Siegmund: 5th Intl. Workshop on Feature-Oriented Software Development, FOSD, pp. 17–24, doi:10.1145/2528265.2528266.
  25. Shin Nakajima & Kokichi Futatsugi (1997): An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. In: W. Richards Adrion, Alfonso Fuggetta, Richard N. Taylor & Anthony I. Wasserman: Pulling Together, Proc. 19th Int. Conf. on Software Engineering, pp. 34–44, doi:10.1145/253228.253238.
  26. Tobias Nipkow, Markus Wenzel & Lawrence C. Paulson (2002): Isabelle/HOL: A Proof Assistant for Higher-order Logic. Springer, doi:10.1007/3-540-45949-9.
  27. Klaus Pohl, Günter Böckle & Frank van der Linden (2005): Software Product Line Engineering - Foundations, Principles, and Techniques. Springer, doi:10.1007/3-540-28901-1.
  28. Klaus Pohl, Günter Böckle & Frank J. van der Linden (2005): Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., doi:10.1007/3-540-28901-1.
  29. Vijay A. Saraswat, Radha Jagadeesan, Maged Michael & Christoph von Praun (2007): A Theory of Memory Models. In: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '07. ACM, pp. 161–172, doi:10.1145/1229428.1229469.
  30. Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget & Derek Williams (2011): Understanding POWER multiprocessors. In: Mary W. Hall & David A. Padua: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011. ACM, pp. 175–186, doi:10.1145/1993498.1993520.
  31. Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo & Karina Villela (2012): Software diversity: state of the art and perspectives. International Journal on Software Tools for Technology Transfer 14(5), pp. 477–495, doi:10.1007/s10009-012-0253-y.
  32. Traian Florin Şerbănuţă & Grigore Roşu (2010): K-Maude: A Rewriting Based Tool for Semantics of Programming Languages, pp. 104–122. Springer Berlin Heidelberg, doi:10.1007/978-3-642-16310-4_8.
  33. Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli & Magnus O. Myreen (2010): X86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors. Commun. ACM 53(7), pp. 89–97, doi:10.1145/1785414.1785443.
  34. Zeinab Sharifi, Mahdi Mosaffa, Siamak Mohammadi & Marjan Sirjani (2013): Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification. ECEASST 66. Available at http://dx.doi.org/10.14279/tuj.eceasst.66.890.
  35. Marjan Sirjani, Ali Movaghar, Amin Shali & Frank S. de Boer (2004): Modeling and Verification of Reactive Systems using Rebeca. Fundam. Inform. 63(4), pp. 385–410. Available at http://content.iospress.com/articles/fundamenta-informaticae/fi63-4-05.
  36. The Coq development team (2004): The Coq proof assistant reference manual. LogiCal Project. Available at http://coq.inria.fr. Version 8.0.
  37. Alexandra Weber (2014): Comparison of an operational and an axiomatic model of execution for multi-threaded programs. TU Darmstadt. Available at https://hds.hebis.de/ulbda/Record/HEB350072914.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org