The laws of programming unify process calculi (English)
- New search for: Hoare, T.
- New search for: van Staden, S.
- New search for: Hoare, T.
- New search for: van Staden, S.
- New search for: Gibbons, J.
- New search for: Nogueira, P.
In:
Special Issue on Mathematics of Program Construction 2012
;
102-114
;
2014
-
ISSN:
- Article (Journal) / Print
-
Title:The laws of programming unify process calculi
-
Contributors:
-
Published in:SCIENCE OF COMPUTER PROGRAMMING ; 85 ; 102-114
-
Publisher:
- New search for: Elsevier Science B.V., Amsterdam.
-
Publication date:2014-01-01
-
Size:13 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 005
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 85
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Guest editors' introduction to the first issue on Experimental Software Engineering in the Cloud (ESEiC)Van Gorp, Pieter / Rose, Louis et al. | 2013
- 5
-
Evaluation of model transformation approaches for model refactoringKolahdouz-Rahimi, S. / Lano, K. / Pillay, S. / Troya, J. / Van Gorp, P. et al. | 2013
- 41
-
A survey and comparison of transformation tools based on the transformation tool contestJakumeit, Edgar / Buchwald, Sebastian / Wagelaar, Dennis / Dan, Li / Hegedüs, Ábel / Herrmannsdörfer, Markus / Horn, Tassilo / Kalnina, Elina / Krause, Christian / Lano, Kevin et al. | 2013
- 101
-
Selected papers from Mathematics of Program Construction 2012Gibbons, Jeremy / Nogueira, Pablo et al. | 2013
- 102
-
The laws of programming unify process calculiHoare, Tony / van Staden, Stephan et al. | 2013
- 115
-
An old new notation for elementary probability theoryMorgan, Carroll et al. | 2013
- 137
-
Deriving real-time action systems with multiple time bands using algebraic reasoningDongol, Brijesh / Hayes, Ian J. / Derrick, John et al. | 2013
- 166
-
First-past-the-post gamesBackhouse, Roland et al. | 2013
- 204
-
Concurrency and local reasoning under reverse exchangeDang, H.-H. / Möller, B. et al. | 2013
- 224
-
Algebras for correctness of sequential computationsGuttmann, Walter et al. | 2013