Period of time: 2013年6期
Publisher: Springer Publishing Company
Founded in: 1989
Total resources: 7
ISSN: 0934-5043
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Formal Aspects of Computing,volume 25,issue 6
Menu
Reasoning about orchestrations of web services using partial correctness
By Stewart Alan,Gabarro Joaquim,Keenan Anthony in (2013)
Formal Aspects of Computing,volume 25,issue 6 , Vol. 25, Iss. 6, 2013-11 , pp.Simple linear string constraints
By Fu Xiang,Powell Michael,Bantegui Michael,Li Chung-Chih in (2013)
Formal Aspects of Computing,volume 25,issue 6 , Vol. 25, Iss. 6, 2013-11 , pp.Explanation of two non-blocking shared-variable communication algorithms
By Bornat Richard,Amjad Hasan in (2013)
Formal Aspects of Computing,volume 25,issue 6 , Vol. 25, Iss. 6, 2013-11 , pp.Deriving dense linear algebra libraries
By Bientinesi Paolo,Gunnels John,Myers Margaret,Quintana-Ortí Enrique,Rhodes Tyler,Geijn Robert,Van Zee Field in (2013)
Formal Aspects of Computing,volume 25,issue 6 , Vol. 25, Iss. 6, 2013-11 , pp.Starvation-free mutual exclusion with semaphores
By Hesselink Wim,IJbema Mark in (2013)
Formal Aspects of Computing,volume 25,issue 6 , Vol. 25, Iss. 6, 2013-11 , pp.Automatic verification of reduction techniques in Higher Order Logic
By Abed Sa’ed,Ait Mohamed Otmane,Al Sammane Ghiath in (2013)
Formal Aspects of Computing,volume 25,issue 6 , Vol. 25, Iss. 6, 2013-11 , pp.Applications of real number theorem proving in PVS
By Gottliebsen Hanne,Hardy Ruth,Lightfoot Olga,Martin Ursula in (2013)
Formal Aspects of Computing,volume 25,issue 6 , Vol. 25, Iss. 6, 2013-11 , pp.