Volume 26, Issue 3

Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.

Search all Formal Aspects of Computing articles

May 2014

7 articles in this issue

Editorial
C. B. Jones
Editorial 23 April 2014 Pages: 433 - 433
The Essence of Reynolds
Stephen Brookes
Peter W. O’Hearn
Uday Reddy
Original Article 12 April 2014 Pages: 435 - 439
Test generation from state based use case models
Sidney Nogueira
Augusto Sampaio
Alexandre Mota
Original Article 02 August 2012 Pages: 441 - 490
An operational semantics for object-oriented concepts based on the class hierarchy
Robert J. Colvin
Original Article 21 August 2012 Pages: 491 - 535
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing
Muffy Calder
Michele Sevegnani
OriginalPaper Open access 08 January 2013 Pages: 537 - 561
Reasoning about goal-directed real-time teleo-reactive programs
Brijesh Dongol
Ian J. Hayes
Peter J. Robinson
Original Article 08 January 2013 Pages: 563 - 589
Time-budgeting: a component based development methodology for real-time embedded systems
Manoj G. Dixit
S. Ramesh
Pallab Dasgupta
Original Article 27 March 2013 Pages: 591 - 621

Volume 26, Issue 3

Editorial

The Essence of Reynolds

Test generation from state based use case models

An operational semantics for object-oriented concepts based on the class hierarchy

Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing

Reasoning about goal-directed real-time teleo-reactive programs

Time-budgeting: a component based development methodology for real-time embedded systems

Navigation