Step failures semantics and a complete proof system

Authors:
D. Taubner;W. Vogler
Affiliations:
Technische Univ. Mu¨nchen, Mu¨nchen, West Germany;Technische Univ. Mu¨nchen, Mu¨nchen, West Germany
Venue:
Acta Informatica
Year:
1989

Citing 0
Cited 2

Specifying Processes with Dynamic Life Cycles

CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Simulating truly concurrent CSP

SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract