Derivation of concurrent programs by stepwise scheduling of Event-B models

Author： Boström Pontus   Degerlund Fredrik   Sere Kaisa   Waldén Marina  

Publisher： Springer Publishing Company

ISSN： 0934-5043

Source： Formal Aspects of Computing, Vol.26, Iss.2, 2014-03, pp. : 281-303

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

On the purpose of Event-B proof obligations

By Hallerstede Stefan  

Formal Aspects of Computing, Vol. 23, Iss. 1, 2011-01 ,pp. : 133-150

Springer Publishing Company

Access to resources Recommend Favorite

The behavioural semantics of Event-B refinement

By Schneider Steve   Treharne Helen   Wehrheim Heike  

Formal Aspects of Computing, Vol. 26, Iss. 2, 2014-03 ,pp. : 251-280

Springer Publishing Company

Access to resources Recommend Favorite

Using Event-B to construct instruction set architectures

By Wright Stephen  

Formal Aspects of Computing, Vol. 23, Iss. 1, 2011-01 ,pp. : 73-89

Springer Publishing Company

Access to resources Recommend Favorite

Retrenchment for Event-B: UseCase-wise development and Rodin integration

By Banach Richard  

Formal Aspects of Computing, Vol. 23, Iss. 1, 2011-01 ,pp. : 113-131

Springer Publishing Company

Access to resources Recommend Favorite

Models and Scheduling Algorithms for Mixed Data and Task Parallel Programs

By Chakrabarti S.   demmel J.   Yelick K.  

Journal of Parallel and Distributed Computing, Vol. 47, Iss. 2, 1997-12 ,pp. : 168-184

Academic Press

Access to resources Recommend Favorite