A semantic foundation for TCOZ in unifying theories of programming

Hdl Handle:
http://hdl.handle.net/10149/110775
Title:
A semantic foundation for TCOZ in unifying theories of programming
Book Title:
FME 2003: Formal methods
Authors:
Qin, S. (Shengchao); Dong, J. S. (Jin Song); Chin, W-N. (Wei-Ngan)
Editors:
Araki, K. (Keijiro); Gnesi, S. (Stefania); Mandrioli, D. (Dino)
Affiliation:
Singapore-MIT Alliance; National University of Singapore.
Citation:
Qin, S., Dong, J. S. and Chin, W-N. (2003) 'A semantic foundation for TCOZ in unifying theories of programming', International symposium of formal methods Europe Pisa, Italy, September 8-14, 2003, in Araki, K., Gnesi, S. and Mandrioli, D. (eds) FME 2003: Formal methods, Lecture notes in computer science, 2805. Heidelberg: Spriner-Verlag, pp.321-340.
Publisher:
Springer-Verlag
Conference:
International symposium of formal methods Europe Pisa, Italy, September 8-14, 2003
Issue Date:
2003
URI:
http://hdl.handle.net/10149/110775
DOI:
10.1007/978-3-540-45236-2_19
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
UTP; semantics; integrated formal specifications
Series/Report no.:
Lecture notes in computer science; 2805
ISSN:
0302-9743
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 07/09/2010]
Citation Count:
10 [Scopus, 07/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorDong, J. S. (Jin Song)en
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.contributor.editorAraki, K. (Keijiro)en
dc.contributor.editorGnesi, S. (Stefania)en
dc.contributor.editorMandrioli, D. (Dino)en
dc.date.accessioned2010-09-07T09:08:24Z-
dc.date.available2010-09-07T09:08:24Z-
dc.date.issued2003-
dc.identifier.issn0302-9743-
dc.identifier.doi10.1007/978-3-540-45236-2_19-
dc.identifier.urihttp://hdl.handle.net/10149/110775-
dc.language.isoenen
dc.publisherSpringer-Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries2805en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 07/09/2010]en
dc.subjectUTPen
dc.subjectsemanticsen
dc.subjectintegrated formal specificationsen
dc.titleA semantic foundation for TCOZ in unifying theories of programmingen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentSingapore-MIT Alliance; National University of Singapore.en
dc.title.bookFME 2003: Formal methodsen
dc.identifier.conferenceInternational symposium of formal methods Europe Pisa, Italy, September 8-14, 2003en
ref.citationcount10 [Scopus, 07/09/2010]en
or.citation.harvardQin, S., Dong, J. S. and Chin, W-N. (2003) 'A semantic foundation for TCOZ in unifying theories of programming', International symposium of formal methods Europe Pisa, Italy, September 8-14, 2003, in Araki, K., Gnesi, S. and Mandrioli, D. (eds) FME 2003: Formal methods, Lecture notes in computer science, 2805. Heidelberg: Spriner-Verlag, pp.321-340.-
prism.startingPage321-
prism.endingPage340-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.