- Continuously analyzing finite, message-driven, time-synchronous component & connector systems during architecture evolution Arvid Butting Oliver Kautz Bernhard Rumpe Andreas Wortmann Mon 28 January 2019
- A survey of timed automata for the development of real-time systems Md Tawhid Bin Waez Juergen Dingel Karen Rudie Tue 13 March 2018
- Compiling Untyped Lambda Calculus to Lower-level Code by Game Semantics and Partial Evaluation (Invited Paper) Daniil Berezun Neil D. Jones Sun 21 May 2017
- Duality in Logic and Computation Prakash Panangaden Mon 26 December 2016
- The Discoveries of Continuations John C. Reynolds Fri 14 March 2014
- Computing with Capsules Jean-Baptiste Jeannin Dexter Kozen Sat 01 March 2014
- Defining liveness Bowen Alpern Fred B. Schneider Mon 24 February 2014
- A Formal Hierarchy of Weak Memory Models Jade Alglave Tue 03 December 2013
Library Size: 13G (8 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
