Browse by Journal

B

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233 and Amjad, Hasan (2011) Explanation of two non-blocking shared-variable communication algorithms. Formal Aspects of Computing . ISSN 0934-5043 [Article] (doi:10.1007/s00165-011-0213-4)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233 and Amjad, Hasan (2010) Inter-process buffers in separation logic with rely-guarantee. Formal Aspects of Computing, 22 (6) . pp. 735-772. ISSN 0934-5043 [Article] (doi:10.1007/s00165-009-0141-8)

G

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Ryan, Mark (2007) Minimal refinements of specifications in modal and temporal logics. Formal Aspects of Computing, 19 (4) . pp. 417-444. ISSN 0934-5043 [Article] (doi:10.1007/s00165-007-0040-9)

K

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2008) Formalizing non-interference for a simple bytecode language in Coq. Formal Aspects of Computing, 20 (3) . pp. 259-275. ISSN 0934-5043 [Article]

L

Lano, Kevin, Clark, Tony and Kolahdouz-Rahimi, S. (2015) A framework for model transformation verification. Formal Aspects of Computing, 27 (1) . pp. 193-235. ISSN 0934-5043 [Article] (doi:10.1007/s00165-014-0313-z)