Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: A | B | C | D | G | H | K | L | P | S

Number of items: 26.

A

Aichernig, Bernhard K., Boiten, Eerke Albert, Derrick, John, Groves, Lindsay (2007) Preface: Proceedings of the 11th BCS-FACS Refinement Workshop, Macao, 2006. Electronic Notes in Theoretical Computer Science, 187 . p. 1. ISSN 1571-0661. (doi:10.1016/j.entcs.2006.08.040) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14565)

B

Bowman, Howard (2001) Formal Methods Elsewhere. Electronic Notes in Theoretical Computer Science, 43 . pp. 162-163. ISSN 1571-0661. (doi:10.1016/S1571-0661(05)81053-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13603)

Bocchi, Laura, Fiadeiro, José Luiz, Lapadula, Alessandro, Pugliese, Rosario, Tiezzi, Francesco (2009) From Architectural to Behavioural Specification of Services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 1571-0661. (doi:10.1016/j.entcs.2009.09.025) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:59190)

Bocchi, Laura, Ciancarini, Paolo (2006) On the Impact of Formal Methods in the SOA. Electronic Notes in Theoretical Computer Science, 160 . pp. 113-126. ISSN 1571-0661. (doi:10.1016/j.entcs.2006.05.018) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:59182)

Boiten, Eerke Albert, Derrick, John, Reeves, Steve (2009) Preface: Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009). Electronic Notes in Theoretical Computer Science, 259 . pp. 182-196. ISSN 1571-0661. (doi:10.1016/j.entcs.2009.12.013) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30566)

Boiten, Eerke Albert, Derrick, John, Smith, Graeme (2008) Preface: Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). Electronic Notes in Theoretical Computer Science, 201 . p. 1. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.02.012) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:23964)

Boiten, Eerke Albert, Derrick, John, Schellhorn, Gerhard (2008) Preface: REFINE 2008 Proceedings. Electronic Notes in Theoretical Computer Science, 214 . p. 1. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.06.001) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24072)

Boiten, Eerke Albert, Derrick, John (2005) Proceedings of the REFINE 2005 Workshop. Electronic Notes in Theoretical Computer Science, 137 (2). pp. 1-242. ISSN 1571-0661. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14337)

Bocchi, Laura, Wischik, Lucian (2004) A Process Calculus of Atomic Commit. Electronic Notes in Theoretical Computer Science, 105 . pp. 119-132. ISSN 1571-0661. (doi:10.1016/j.entcs.2004.05.003) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:59178)

Derrick, John and Boiten, Eerke Albert and Woodcock, Jim and von Wright, Joakim, eds. (2002) REFINE 2002: The BCS FACS Refinement Workshop. Electronic Notes in Theoretical Computer Science, 70 . Elsevier Science Publishers (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13759)

Barrett, Edd, King, Andy (2012) Range and Set Abstraction using SAT. Electronic Notes in Theoretical Computer Science, 267 (1). pp. 93-107. ISSN 978-3-642-32468-0. (doi:10.1016/j.entcs.2010.09.003) (KAR id:30621)

Boiten, Eerke Albert, Grundy, Dan (2008) Reduction and refinement. Electronic Notes in Theoretical Computer Science, 201 . pp. 31-44. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.02.014) (KAR id:23963)

Boiten, Eerke Albert, Derrick, John (2002) Unifying concurrent and relational refinement. Electronic Notes in Theoretical Computer Science, 70 (3). pp. 94-131. ISSN 1571-0661. (doi:10.1016/S1571-0661(05)80488-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13766)

Butterfield, Andrew, Woodcock, Jim (2003) An operational semantics for Handel-C. Electronic Notes in Theoretical Computer Science, 80 . pp. 1-16. ISSN 1571-0661. (doi:10.1016/S1571-0661(04)80821-1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13838)

Bowman, Howard, Gomez, Rodolfo, Su, Linying (2005) A tool for the syntactic detection of zeno-timelocks in timed automata. Electronic Notes in Theoretical Computer Science, 139 (1). pp. 25-47. ISSN 1571-0661. (doi:10.1016/j.entcs.2005.09.006) (KAR id:14234)

C

Chitil, Olaf, Luo, Yong (2007) Structure and Properties of Traces for Functional Programs. Electronic Notes in Theoretical Computer Science, 176 (1). pp. 39-63. ISSN 1571-0661. (doi:10.1016/j.entcs.2006.10.032) (KAR id:14598)

D

Derrick, John, Boiten, Eerke Albert (2008) More relational refinement: traces and partial relations. Electronic Notes in Theoretical Computer Science, 214 . pp. 255-276. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.06.012) (KAR id:23978)

de Lemos, Rogério (2009) On Architecting Software Fault Tolerance using Abstractions. Electronic Notes in Theoretical Computer Science, 236 . pp. 21-32. ISSN 1571-0661. (doi:10.1016/j.entcs.2009.03.012) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:32075)

Derrick, John, Boiten, Eerke Albert (2007) Relational Concurrent Refinement with Internal Operations. Electronic Notes in Theoretical Computer Science, 187 . pp. 35-53. ISSN 1571-0661. (doi:10.1016/j.entcs.2006.08.043) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14564)

Derrick, John, Boiten, Eerke Albert (2009) Relational Concurrent Refinement: Automata. Electronic Notes in Theoretical Computer Science, 259 . pp. 182-196. ISSN 1571-0661. (doi:10.1016/j.entcs.2009.12.015) (KAR id:30569)

G

Gordon, Mike, Iyoda, Juliano, Owens, Scott, Slind, Konrad (2006) Automatic Formal Synthesis of Hardware from Higher Order Logic. Electronic Notes in Theoretical Computer Science, 145 . pp. 27-43. ISSN 1571-0661. (doi:10.1016/j.entcs.2005.10.003) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:31916)

H

Howe, Jacob M., King, Andy, Lawrence-Jones, Charles (2010) Quadtrees as an Abstract Domain. Electronic Notes in Theoretical Computer Science, 267 (1). pp. 182-196. (doi:10.1016/j.entcs.2010.09.008) (KAR id:30620)

K

Kent, Stuart, Smith, Robert P. (2003) The Bidirectional Mapping Problem. Electronic Notes in Theoretical Computer Science, 82 (7). pp. 1-15. ISSN 1571-0661. (doi:10.1016/S1571-0661(04)80753-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13854)

L

Li, Huiqing, Thompson, Simon, Reinke, Claus (2005) The Haskell Refactorer, HaRe, and its API. Electronic Notes in Theoretical Computer Science, 141 (4). pp. 29-34. ISSN 1571-0661. (doi:10.1016/j.entcs.2005.02.053) (KAR id:14338)

P

Paviotti, Marco, Møgelberg, Rasmus, Birkedal, Lars (2015) A Model of PCF in Guarded Type Theory. In: Electronic Notes in Theoretical Computer Science. 319. pp. 333-349. Elsevier (doi:10.1016/j.entcs.2015.12.020) (KAR id:65015)

S

Su, Li, Bowman, Howard, Barnard, Philip (2008) Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. Electronic Notes in Theoretical Computer Science, 208 . pp. 95-111. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.03.109) (KAR id:14545)

This list was generated on Thu Apr 25 22:42:58 2024 BST.