Temporal theories as modularisation units for concurrent system specification

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{cc95d52684af40878b9d94913afbb427,

title = "Temporal theories as modularisation units for concurrent system specification",

author = "J. Fiadeiro and T. Maibaum",

year = "1992",

month = may,

day = "1",

doi = "10.1007/BF01212304",

language = "English",

volume = "4",

pages = "239--272",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer London",

number = "3",

}

TY - JOUR

T1 - Temporal theories as modularisation units for concurrent system specification

AU - Fiadeiro, J.

AU - Maibaum, T.

PY - 1992/5/1

Y1 - 1992/5/1

UR - http://www.scopus.com/inward/record.url?scp=0000925086&partnerID=8YFLogxK

U2 - 10.1007/BF01212304

DO - 10.1007/BF01212304

M3 - Article

AN - SCOPUS:0000925086

SN - 0934-5043

VL - 4

SP - 239

EP - 272

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 3

ER -