Temporal theories as modularisation units for concurrent system specification. / Fiadeiro, J.; Maibaum, T.

In: Formal Aspects of Computing, Vol. 4, No. 3, 01.05.1992, p. 239-272.

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)239-272
Number of pages34
JournalFormal Aspects of Computing
Issue number3
Publication statusPublished - 1 May 1992
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 7188482