Temporal structures

Ross Casley; Roger F. Crew; José Meseguer; Vaughan Pratt

doi:10.1017/S0960129500001286

Temporal structures

Ross Casley, Roger F. Crew, José Meseguer, Vaughan Pratt

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

Original language	English (US)
Pages (from-to)	179-213
Number of pages	35
Journal	Mathematical Structures in Computer Science
Volume	1
Issue number	2
DOIs	https://doi.org/10.1017/S0960129500001286
State	Published - Jul 1991
Externally published	Yes

ASJC Scopus subject areas

Mathematics (miscellaneous)
Computer Science Applications

Online availability

10.1017/S0960129500001286

Library availability

Discover UIUC Full Text

Cite this

@article{828455edde824382a6cbe8c0d0ed87ca,

title = "Temporal structures",

author = "Ross Casley and Crew, {Roger F.} and Jos{\'e} Meseguer and Vaughan Pratt",

year = "1991",

month = jul,

doi = "10.1017/S0960129500001286",

language = "English (US)",

volume = "1",

pages = "179--213",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - Temporal structures

AU - Casley, Ross

AU - Crew, Roger F.

AU - Meseguer, José

AU - Pratt, Vaughan

PY - 1991/7

Y1 - 1991/7

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

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

U2 - 10.1017/S0960129500001286

DO - 10.1017/S0960129500001286

M3 - Article

AN - SCOPUS:84976193412

SN - 0960-1295

VL - 1

SP - 179

EP - 213

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

IS - 2

ER -

Temporal structures

ASJC Scopus subject areas

Online availability

Library availability

Related links

Cite this