References

  1. Martín Abadi & Leslie Lamport (1991): The Existence of Refinement Mappings. Theor. Comput. Sci. 82(2), doi:10.1016/0304-3975(91)90224-P.
  2. Jean-Raymond Abrial (2005): The B-book - assigning programs to meanings. Cambridge University Press.
  3. Jean-Raymond Abrial (2010): Modeling in Event-B - System and Software Engineering. Cambridge University Press, doi:10.1017/CBO9781139195881.
  4. Jean-Raymond Abrial, Dominique Cansell & Dominique Méry (2005): Refinement and Reachability in Event_\voidb@x B. In: Helen Treharne, Steve King, Martin C. Henson & Steve A. Schneider: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, Lecture Notes in Computer Science 3455. Springer, pp. 222–241, doi:10.1007/11415787_14.
  5. Charles André & Frédéric Mallet (2008): Clock Constraints in UML/MARTE CCSL. Research Report RR-6540. INRIA.
  6. Ralph-Johan Back (1989): Refinement Calculus, Part II: Parallel and Reactive Programs. In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 67–93, doi:10.1007/3-540-52559-9_61.
  7. Ralph-Johan Back & Joakim von Wright (1989): Refinement Calculus, Part I: Sequential Nondeterministic Programs. In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 42–66, doi:10.1007/3-540-52559-9_60.
  8. Yves Bertot & Pierre Castéran (2004): Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS Series, doi:10.1007/978-3-662-07964-5.
  9. Ana Bove & Peter Dybjer (2008): Dependent Types at Work. In: Language Engineering and Rigorous Software Development, Intl. LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures, pp. 57–99, doi:10.1007/978-3-642-03153-3_2.
  10. Manfred Broy (2001): Refinement of time. Theor. Comput. Sci. 253(1), pp. 3–26, doi:10.1016/S0304-3975(00)00087-6.
  11. Joseph T. Buck, Soonhoi Ha, Edward A. Lee & David G. Messerschmitt (1994): Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems. Int. Journal in Computer Simulation 4(2).
  12. Benoît Combemale, Julien DeAntoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel & Jeff Gray (2014): Globalizing Modeling Languages. IEEE Computer 47(6), doi:10.1109/MC.2014.147.
  13. Benoît Combemale, Julien DeAntoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry & Robert B. France (2013): Reifying Concurrency for Executable Metamodeling. In: Software Language Engineering - 6th Intl. Conf., SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proc., doi:10.1007/978-3-319-02654-1_20.
  14. Julien Deantoni, Charles André & Régis Gascon (2014): CCSL denotational semantics. Research Report RR-8628.
  15. Julien DeAntoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau & Benoît Combemale (2015): Towards a meta-language for the concurrency concern in DSLs. In: Proc. of the 2015 Design, Automation & Test in Europe Conf. & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015, doi:10.7873/DATE.2015.1052.
  16. Julien Deantoni & Frédéric Mallet (2012): TimeSquare: Treat your Models with Logical Time. In: TOOLS - 50th Intl. Conf. on Objects, Models, Components, Patterns - 2012, doi:10.1007/978-3-642-30561-0_4.
  17. Manuel Garnacho, Jean-Paul Bodeveix & Mamoun Filali-Amine (2013): A Mechanized Semantic Framework for Real-Time Systems. In: Formal Modeling and Analysis of Timed Systems - 11th Intl. Conf., FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proc., doi:10.1007/978-3-642-40229-6_8.
  18. Mike Gemünde, Jens Brandt & Klaus Schneider (2013): Clock refinement in imperative synchronous languages. EURASIP J. Emb. Sys. 2013, doi:10.1186/1687-3963-2013-3.
  19. Roger Hale, Rachel Cardell-Oliver & John Herbert (1993): An Embedding of Timed Transition Systems in HOL. Formal Methods in System Design 3(1/2), doi:10.1007/BF01383987.
  20. Cécile Hardebolle & Frédéric Boulanger (2007): ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling. In: Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, doi:10.1007/978-3-540-69073-3_26.
  21. Jifeng He (1989): Process Simulation and Refinement. Formal Asp. Comput. 1(3), pp. 229–241, doi:10.1007/BF01887207.
  22. Wim H. Hesselink (2011): Simulation refinement for concurrency verification. Sci. Comput. Program. 76(9), pp. 739–755, doi:10.1016/j.scico.2009.09.006.
  23. Leslie Lamport (1978): Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM 21(7), pp. 558–565, doi:10.1145/359545.359563.
  24. Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoît Combemale & Frédéric Mallet (2015): A Behavioral Coordination Operator Language (BCOoL). In: 18th ACM/IEEE Intl. Conf. on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015, doi:10.1109/MODELS.2015.7338249.
  25. Florent Latombe, Xavier Crégut, Benoît Combemale, Julien DeAntoni & Marc Pantel (2015): Weaving concurrency in executable domain-specific modeling languages. In: Proc. of the 2015 ACM SIGPLAN Intl. Conf. on Software Language Engineering, SLE 2015, Pittsburgh, PA, USA, October 25-27, 2015.
  26. Nancy A. Lynch & Frits W. Vaandrager (1995): Forward and Backward Simulations: I. Untimed Systems. Inf. Comput. 121(2), pp. 214–233, doi:10.1006/inco.1995.1134.
  27. Nancy A. Lynch & Frits W. Vaandrager (1996): Forward and Backward Simulations, II: Timing-Based Systems. Inf. Comput. 128(1), pp. 1–25, doi:10.1006/inco.1996.0060.
  28. Jan Malakhovski: Brutal [Meta]Introduction to Dependent Types in Agda.
  29. Louis Mandel, Cédric Pasteur & Marc Pouzet (2015): Time refinement in a functional synchronous language. Sci. Comput. Program. 111, doi:10.1016/j.scico.2015.07.002.
  30. Per Martin-Löf (1972): An Intuitionistic Theory of Types. Available at http://archive-pml.github.io/martin-lof/pdfs/An-Intuitionistic-Theory-of-Types-1972.pdf.
  31. Per Martin-Löf (1984): Intuitionistic type theory. Notes by Giovanni Sambin.. Studies in Proof Theory. Available at http://archive-pml.github.io/martin-lof/pdfs/Bibliopolis-Book-1984.pdf.
  32. Jan Mikac & Paul Caspi (2005): Temporal refinement for Lustre. In: Proc. of the 5th Intl. Workshop on Synchronous Languages, Applications and Programs, Edimburg, April 2005.
  33. Ulf Norell (2009): Dependently typed programming in Agda. In: Proc. of TLDI'09: 2009 ACM SIGPLAN Intl. Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009, doi:10.1145/1481861.1481862.
  34. Christine Paulin-Mohring (2001): Modelisation of Timed Automata in Coq. In: Theoretical Aspects of Computer Software, 4th Intl. Symp., TACS 2001, Sendai, Japan, October 29-31, 2001, Proc., doi:10.1007/3-540-45500-0_15.
  35. Amir Pnueli (1977): The Temporal Logic of Programs. In: 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October - 1 November 1977. IEEE Computer Society, pp. 46–57, doi:10.1109/SFCS.1977.32.
  36. Steve Reeves & David Streader (2003): Comparison of Data and Process Refinement. In: Jin Song Dong & Jim Woodcock: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, Lecture Notes in Computer Science 2885. Springer, pp. 266–285, doi:10.1007/978-3-540-39893-6_16.
  37. Steve Reeves & David Streader (2008): General Refinement, Part One: Interfaces, Determinism and Special Refinement. Electr. Notes Theor. Comput. Sci. 214, pp. 277–307, doi:10.1016/j.entcs.2008.06.013.
  38. Willem P. de Roever & Kai Engelhardt (1998): Data Refinement: Model-oriented Proof Theories and their Comparison. Cambridge Tracts in Theoretical Computer Science 46. Cambridge University Press, doi:10.1017/CBO9780511663079.
  39. Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Frederic Doucet & Rajesh K. Gupta (2004): Formal Refinement Checking in a System-level Design Methodology. Fundam. Inform. 62(2), pp. 243–273.
  40. Glynn Winskel (1986): Event Structures. In: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proc. of an Advanced Course, Bad Honnef, 8.-19. September 1986, doi:10.1007/3-540-17906-2_31.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org