METATEM: A Framework for Programming in Temporal Logic

Howard Barringer; Michael Fisher; Dov M Gabbay; Graham Gough; Richard Owens; J W de Bakker; Willem P de Roever; Grzegorz Rozenberg

METATEM: A Framework for Programming in Temporal Logic

Howard Barringer
, Michael Fisher
, Dov M Gabbay
, Graham Gough
, Richard Owens
, J W de Bakker (Editor)
, Willem P de Roever (Editor)
, Grzegorz Rozenberg (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	REX Workshop
Editors	J W de Bakker, Willem P de Roever, Grzegorz Rozenberg
Publisher	Springer Nature
Pages	94-129
Number of pages	36
Volume	430
ISBN (Print)	3-540-52559-9
Publication status	Published - 1989
Event	Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/rex/rex89.html#BarringerFGGO89http://dblp.uni-trier.de/rec/bibtex/conf/rex/BarringerFGGO89.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/rex/BarringerFGGO89

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/rex/rex89.html#BarringerFGGO89http://dblp.uni-trier.de/rec/bibtex/conf/rex/BarringerFGGO89.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/rex/BarringerFGGO89

Access to Document

Cite this

Barringer, H., Fisher, M., Gabbay, D. M., Gough, G., Owens, R., Bakker, J. W. D. (Ed.), Roever, W. P. D. (Ed.), & Rozenberg, G. (Ed.) (1989). METATEM: A Framework for Programming in Temporal Logic. In J. W. D. Bakker, W. P. D. Roever, & G. Rozenberg (Eds.), REX Workshop (Vol. 430, pp. 94-129). (Lecture Notes in Computer Science). Springer Nature. http://dblp.uni-trier.de/db/conf/rex/rex89.html#BarringerFGGO89

@inproceedings{521298fece4f418ba301cdd7e1178298,

title = "METATEM: A Framework for Programming in Temporal Logic",

author = "Howard Barringer and Michael Fisher and Gabbay, \{Dov M\} and Graham Gough and Richard Owens and Bakker, \{J W de\} and Roever, \{Willem P de\} and Grzegorz Rozenberg",

year = "1989",

language = "English",

isbn = "3-540-52559-9",

volume = "430",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "94--129",

editor = "Bakker, \{J W de\} and Roever, \{Willem P de\} and Grzegorz Rozenberg",

booktitle = "REX Workshop",

address = "United States",

note = "Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/rex/rex89.html\#BarringerFGGO89http://dblp.uni-trier.de/rec/bibtex/conf/rex/BarringerFGGO89.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/rex/BarringerFGGO89",

}

Barringer, H, Fisher, M, Gabbay, DM, Gough, G, Owens, R, Bakker, JWD (ed.), Roever, WPD (ed.) & Rozenberg, G (ed.) 1989, METATEM: A Framework for Programming in Temporal Logic. in JWD Bakker, WPD Roever & G Rozenberg (eds), REX Workshop. vol. 430, Lecture Notes in Computer Science, Springer Nature, pp. 94-129, Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/rex/rex89.html#BarringerFGGO89>

TY - GEN

T1 - METATEM: A Framework for Programming in Temporal Logic

AU - Barringer, Howard

AU - Fisher, Michael

AU - Gabbay, Dov M

AU - Gough, Graham

AU - Owens, Richard

A2 - Bakker, J W de

A2 - Roever, Willem P de

A2 - Rozenberg, Grzegorz

A2 - Bakker, J W de

A2 - Roever, Willem P de

A2 - Rozenberg, Grzegorz

PY - 1989

Y1 - 1989

M3 - Conference contribution

SN - 3-540-52559-9

VL - 430

T3 - Lecture Notes in Computer Science

SP - 94

EP - 129

BT - REX Workshop

PB - Springer Nature

T2 - Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings

Y2 - 1 January 1824

ER -