Applying a Concurrent Formal Framework to Process Modelling

J A Keane; Jin Sa; Brian Warboys; Maurice Naftalin; B Tim Denvir; Miquel Bertran

Applying a Concurrent Formal Framework to Process Modelling

J A Keane, Jin Sa, Brian Warboys, Maurice Naftalin (Editor), B Tim Denvir (Editor), Miquel Bertran (Editor)

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

Original language	English
Title of host publication	FME
Editors	Maurice Naftalin, B Tim Denvir, Miquel Bertran
Publisher	Springer Nature
Pages	291-305
Number of pages	15
Volume	873
ISBN (Print)	3-540-58555-9
Publication status	Published - 1994
Event	FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/fm/fme1994.html#KeaneSW94http://dblp.uni-trier.de/rec/bibtex/conf/fm/KeaneSW94.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/fm/KeaneSW94

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/fm/fme1994.html#KeaneSW94http://dblp.uni-trier.de/rec/bibtex/conf/fm/KeaneSW94.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/fm/KeaneSW94

Access to Document

Cite this

@inproceedings{5787ffa079794dec9d1ecd00d0d695f6,

title = "Applying a Concurrent Formal Framework to Process Modelling",

author = "Keane, {J A} and Jin Sa and Brian Warboys and Maurice Naftalin and Denvir, {B Tim} and Miquel Bertran",

year = "1994",

language = "English",

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

volume = "873",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "291--305",

editor = "Maurice Naftalin and Denvir, {B Tim} and Miquel Bertran",

booktitle = "FME",

address = "United States",

note = "FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/fm/fme1994.html#KeaneSW94http://dblp.uni-trier.de/rec/bibtex/conf/fm/KeaneSW94.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/fm/KeaneSW94",

}

Keane, JA, Sa, J, Warboys, B, Naftalin, M (ed.), Denvir, BT (ed.) & Bertran, M (ed.) 1994, Applying a Concurrent Formal Framework to Process Modelling. in M Naftalin, BT Denvir & M Bertran (eds), FME. vol. 873, Lecture Notes in Computer Science, Springer Nature, pp. 291-305, FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/fm/fme1994.html#KeaneSW94>

TY - GEN

T1 - Applying a Concurrent Formal Framework to Process Modelling

AU - Keane, J A

AU - Sa, Jin

AU - Warboys, Brian

A2 - Naftalin, Maurice

A2 - Denvir, B Tim

A2 - Bertran, Miquel

A2 - Naftalin, Maurice

A2 - Denvir, B Tim

A2 - Bertran, Miquel

PY - 1994

Y1 - 1994

M3 - Conference contribution

SN - 3-540-58555-9

VL - 873

T3 - Lecture Notes in Computer Science

SP - 291

EP - 305

BT - FME

PB - Springer Nature

T2 - FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings

Y2 - 1 January 1824

ER -