The Essence of Reynolds Stephen BrookesPeter W. O’HearnUday Reddy Original Article 12 April 2014 Pages: 435 - 439
Test generation from state based use case models Sidney NogueiraAugusto SampaioAlexandre 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 CalderMichele Sevegnani OriginalPaper Open access 08 January 2013 Pages: 537 - 561
Reasoning about goal-directed real-time teleo-reactive programs Brijesh DongolIan J. HayesPeter J. Robinson Original Article 08 January 2013 Pages: 563 - 589
Time-budgeting: a component based development methodology for real-time embedded systems Manoj G. DixitS. RameshPallab Dasgupta Original Article 27 March 2013 Pages: 591 - 621