A generic complete dynamic logic for reasoning about purity and effects (English)
- New search for: Mossakowski, T.
- New search for: Schröder, L.
- New search for: Goncharov, S.
- New search for: Mossakowski, T.
- New search for: Schröder, L.
- New search for: Goncharov, S.
In:
FORMAL ASPECTS OF COMPUTING
;
22
, 3-4
;
363-384
;
2010
-
ISSN:
- Article (Journal) / Print
-
Title:A generic complete dynamic logic for reasoning about purity and effects
-
Contributors:
-
Published in:FORMAL ASPECTS OF COMPUTING ; 22, 3-4 ; 363-384
-
Publisher:
- New search for: Springer Science + Business Media
-
Publication date:2010-01-01
-
Size:22 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 004
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 004 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 22, Issue 3-4
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.
- 215
-
EditorialFiadeiro, J. L. et al. | 2010
- 217
-
Deriving non-Zeno behaviour models from goal models using ILPAlrajeh, D. / Kramer, J. / Russo, A. / Uchitel, S. et al. | 2010
- 243
-
From StPowla processes to SRML modelsBocchi, L. / Gorton, S. / Reiff-Marganiec, S. et al. | 2010
- 269
-
An algebraic semantics for MOFBoronat, A. / Meseguer, J. et al. | 2010
- 297
-
Automating the transformation-based analysis of visual languagesLara, J. / Vangheluwe, H. et al. | 2010
- 327
-
Consistent integration of models based on views of meta modelsEhrig, H. / Ehrig, K. / Ermel, C. / Prange, U. et al. | 2010
- 345
-
From a domain analysis to the specification and detection of code and design smellsMoha, N. / Guéhéneuc, Y. G. / Meur, A. F. / Duchien, L. / Tiberghien, A. et al. | 2010
- 363
-
A generic complete dynamic logic for reasoning about purity and effectsMossakowski, T. / Schröder, L. / Goncharov, S. et al. | 2010
- 385
-
Reasoning with graph constraintsOrejas, F. / Ehrig, H. / Prange, U. et al. | 2010
- 423
-
Automatic verification of Java programs with dynamic framesSmans, J. / Jacobs, B. / Piessens, F. / Schulte, W. et al. | 2010
- 459
-
Preserving correctness during business process model configurationAalst, W. M. / Dumas, M. / Gottschalk, F. / Hofstede, A. H. / Rosa, M. L. / Mendling, J. et al. | 2010
- 483
-
Erratum to: Algebra and logic for access controlCollinson, M. / Pym, D. et al. | 2010