Browse by Journal

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

Jump to: A | B | C | D | F | N | O | P | S | T | W

Number of items: 32.

A

Aichernig, Bernhard K., Boiten, Eerke Albert, Butler, Michael, Derrick, John, Groves, Lindsay (2009) Preface: Special Issue on REFINE 2006. Formal Aspects of Computing, 21 (1-2). ISSN 0934-5043. (doi:10.1007/s00165-008-0100-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:24076)

B

Bowman, Howard, Faconti, Giorgio (1999) Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Aspects of Computing, 11 (2). pp. 132-159. (doi:10.1007/s001650050045) (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:21747)

Bowman, Howard, Faconti, Giorgio, Katoen, J-P., Latella, D., Massink, M. (1998) Automatic Verification of a Lip Synchronisation Protocol using UPPAAL. Formal Aspects of Computing, 10 (5-6). pp. 550-575. ISSN 1433-299X. (doi:10.1007/s001650050032) (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:21620)

Boiten, Eerke Albert, Schneider, Steve A. (2014) Editorial: Special Issue on Cryptography and Formal Methods. Formal Aspects of Computing, 26 (1). pp. 1-2. ISSN 0934-5043 (Print) 1433-299X (Online). (doi:10.1007/s00165-013-0290-7) (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:37394)

Boiten, Eerke Albert, Denvir, T., Derrick, John, von Wright, Joakim (2003) Editorial: Special Issue on Refinement. Formal Aspects of Computing, 15 (2). pp. 101-102. ISSN 0934-5043. (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:13889)

Boiten, Eerke Albert, Derrick, John, Smith, Graeme (2005) Editorial: Special issue on Integrated Formal Methods. Formal Aspects of Computing, 17 (4). ISSN 0934-5043. (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:14227)

Boiten, Eerke Albert, Butler, Michael, Derrick, John, Smith, Graeme (2010) Editorial: Special issue on REFINE 2007. Formal Aspects of Computing, 22 (1). pp. 182-196. ISSN 0934-5043. (doi:10.1007/s00165-009-0147-2) (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:30689)

Boiten, Eerke Albert, Derrick, John, Dong, Jin Song, Reeves, Steve (2012) Editorial: Special issue on Refine 2009. Formal Aspects of Computing, 24 (1). pp. 182-196. ISSN 0934-5043. (doi:10.1007/s00165-011-0220-5) (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:30828)

Bocchi, Laura, Gorton, Stephen, Reiff-Marganiec, Stephan (2010) From StPowla processes to SRML models. Formal Aspects of Computing, 22 (3). pp. 243-268. ISSN 0934-5043. (doi:10.1007/s00165-009-0118-7) (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:59158)

Boiten, Eerke Albert, Butler, Michael (2006) Guest Editorial: Editorial for the FAC Special Issue based on derivative papers from "Refine ’05". Formal Aspects of Computing, 18 (3). p. 263. ISSN 0934-5043. (doi:10.1007/s00165-006-0009-0) (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:14445)

Bowman, Howard, Gomez, Rodolfo (2006) How to stop time stopping. Formal Aspects of Computing, 18 (4). pp. 459-493. ISSN 0934-5043. (doi:10.1007/s00165-006-0010-7) (KAR id:14388)

Boiten, Eerke Albert (2014) Introducing extra operations in refinement. Formal Aspects of Computing, 26 (2). pp. 305-317. ISSN 0934-5043. (doi:10.1007/s00165-012-0266-z) (KAR id:31991)

Boiten, Eerke Albert, Derrick, John, Schellhorn, Gerhard (2008) Relational Concurrent Refinement II: Internal Operations and Outputs. Formal Aspects of Computing, 21 (1-2). pp. 65-102. ISSN 0934-5043. (doi:10.1007/s00165-007-0066-z) (KAR id:14524)

Burton, C.T., Cook, Steve J., Gikas, S., Rowson, J.R., Sommerville, S.T. (1989) Specifying the Apple Macintosh Toolbox Event Manager. Formal Aspects of Computing, 1 . (doi:10.1007/bf01887203) (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:20941)

C

Chawdhary, Aziem, King, Andy, Singh, Ranjeet (2016) Partial Evaluation of String Obfuscations for Java Malware Detection. Formal Aspects of Computing, 29 (1). ISSN 0934-5043. E-ISSN 1433-299X. (doi:10.1007/s00165-016-0357-3) (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:53716)

Cavalcanti, Ana L. C., Sampaio, Augusto C.A., Woodcock, Jim (2003) A Refinement Strategy for Circus. Formal Aspects of Computing, 15 (2-3). pp. 146-181. ISSN 0934-5043. (doi:10.1007/s00165-003-0006-5) (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:13844)

Cavalcanti, Ana L. C., Woodcock, Jim (1998) ZRC - A Refinement Calculus for Z. Formal Aspects of Computing, 10 (3). pp. 267-289. (doi:10.1007/s001650050016) (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:21709)

D

Derrick, John, Boiten, Eerke Albert (2002) Combining Component specifications in Object-Z and CSP. Formal Aspects of Computing, 13 (Part 2). pp. 111-127. ISSN 0934-5043. (doi:10.1007/s001650200002) (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:13794)

Derrick, John, Boiten, Eerke Albert (2003) Relational Concurrent Refinement. Formal Aspects of Computing, 15 (2-3). pp. 182-214. ISSN 0934-5043. (doi:10.1007/s00165-003-0007-4) (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:13890)

Derrick, John, Boiten, Eerke Albert (2014) Relational Concurrent Refinement Part III: Traces, partial relations and automata. Formal Aspects of Computing, 26 (2). pp. 407-432. ISSN 0934-5043. (doi:10.1007/s00165-012-0262-3) (KAR id:30788)

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1998) Specifying and Refining Internal Operations in Z. Formal Aspects of Computing, 10 (2). pp. 125-159. ISSN 0934-5043 (Print) 1433-299X (Online). (doi:10.1007/s001650050007) (KAR id:21577)

Derrick, John, Smith, Graeme (2003) Structural Refinement of Systems Specified in Object-Z and CSP. Formal Aspects of Computing, 15 (1). pp. 1-27. ISSN 0934-5043. (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:13948)

F

Fiadeiro, José Luiz, Lopes, Antónia, Bocchi, Laura (2011) An abstract model of service discovery and binding. Formal Aspects of Computing, 23 (4). pp. 433-463. ISSN 0934-5043. (doi:10.1007/s00165-010-0166-z) (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:59160)

N

Neykova, Rumyana, Bocchi, Laura, Yoshida, Nobuko (2017) Timed Runtime Monitoring for Multiparty Conversations. Formal Aspects of Computing, 29 (5). pp. 877-910. ISSN 0934-5043. E-ISSN 1433-299X. (doi:10.1007/s00165-017-0420-8) (KAR id:60506)

O

Oliveira, Marcel V. M., Cavalcanti, Ana L. C., Woodcock, Jim (2003) ArcAngel: a tactic language for refinement. Formal Aspects of Computing, 15 (1). pp. 28-47. ISSN 0934-5043. (doi:10.1007/s00165-003-0003-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:13853)

P

Pedersen, Jan B., Welch, Peter H. (2017) The symbiosis of concurrency and verification: teaching and case studies. Formal Aspects of Computing, 30 (2). pp. 239-277. ISSN 0934-5043. (doi:10.1007/s00165-017-0447-x) (KAR id:66519)

S

Su, Li, Gomez, Rodolfo, Bowman, Howard (2014) Analysing neurobiological models using communicating automata. Formal Aspects of Computing, 26 (6). pp. 1169-1204. ISSN 0934-5043. (doi:10.1007/s00165-014-0294-y) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:47880)

Su, Li, Bowman, Howard, Barnard, Philip, Wyble, Brad (2008) Process Algebraic Modelling of Attentional Capture and Human Electrophysiology in Reactive Systems. Formal Aspects of Computing, . ISSN 0934-5043. (doi:10.1007/s00165-008-0094-3) (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:24016)

Slind, Konrad, Owens, Scott, Iyoda, Juliano, Gordon, Mike (2007) Proof Producing Synthesis of Arithmetic and Cryptographic Hardware. Formal Aspects of Computing, 19 (3). pp. 343-362. ISSN 0934-5043. (doi:10.1007/s00165-007-0028-5) (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:31912)

T

Thompson, Simon (1989) A Logic for Miranda. Formal Aspects of Computing, (1). (doi:10.1007/bf01887213) (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:20949)

Thompson, Simon (1995) A Logic for Miranda, Revisited. Formal Aspects of Computing, (7). (KAR id:21271)

W

Wright, Daniel, Dalvandi, Sadegh, Batty, Mark, Dongol, Brijesh (2023) Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies. Formal Aspects of Computing, 35 (2). pp. 1-27. ISSN 1433-299X. (doi:10.1145/3580285) (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:99629)

This list was generated on Thu Apr 25 23:23:35 2024 BST.