No Cover Image

Book chapter 1343 views

Compositional Modelling and Reasoning in an Institution for Processes and Data

Liam O’Reilly, Till Mossakowski, Markus Roggenbach, Liam O'Reilly Orcid Logo

Recent Trends in Algebraic Development Techniques, Volume: 7137

Swansea University Author: Liam O'Reilly Orcid Logo

Full text not available from this repository: check for access using links below.

Check full text

DOI (Published version): 10.1007/978-3-642-28412-0_16

Published in: Recent Trends in Algebraic Development Techniques
ISBN: 978-3-642-28411-3 978-3-642-28412-0
ISSN: 0302-9743 1611-3349
Published: 2012
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa51782
first_indexed 2019-09-11T15:29:26Z
last_indexed 2019-09-17T20:17:03Z
id cronfa51782
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-09-17T15:20:33.0454427</datestamp><bib-version>v2</bib-version><id>51782</id><entry>2019-09-11</entry><title>Compositional Modelling and Reasoning in an Institution for Processes and Data</title><swanseaauthors><author><sid>5eca7cf79b7384130a1feef384d90508</sid><ORCID>0000-0002-4894-2158</ORCID><firstname>Liam</firstname><surname>O'Reilly</surname><name>Liam O'Reilly</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2019-09-11</date><deptcode>MACS</deptcode><abstract/><type>Book chapter</type><journal>Recent Trends in Algebraic Development Techniques</journal><volume>7137</volume><paginationEnd>269</paginationEnd><publisher/><isbnPrint>978-3-642-28411-3</isbnPrint><isbnElectronic>978-3-642-28412-0</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords/><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2012</publishedYear><publishedDate>2012-12-31</publishedDate><doi>10.1007/978-3-642-28412-0_16</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-09-17T15:20:33.0454427</lastEdited><Created>2019-09-11T09:20:21.1098456</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Liam</firstname><surname>O&#x2019;Reilly</surname><order>1</order></author><author><firstname>Till</firstname><surname>Mossakowski</surname><order>2</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><order>3</order></author><author><firstname>Liam</firstname><surname>O'Reilly</surname><orcid>0000-0002-4894-2158</orcid><order>4</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2019-09-17T15:20:33.0454427 v2 51782 2019-09-11 Compositional Modelling and Reasoning in an Institution for Processes and Data 5eca7cf79b7384130a1feef384d90508 0000-0002-4894-2158 Liam O'Reilly Liam O'Reilly true false 2019-09-11 MACS Book chapter Recent Trends in Algebraic Development Techniques 7137 269 978-3-642-28411-3 978-3-642-28412-0 0302-9743 1611-3349 31 12 2012 2012-12-31 10.1007/978-3-642-28412-0_16 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2019-09-17T15:20:33.0454427 2019-09-11T09:20:21.1098456 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Liam O’Reilly 1 Till Mossakowski 2 Markus Roggenbach 3 Liam O'Reilly 0000-0002-4894-2158 4
title Compositional Modelling and Reasoning in an Institution for Processes and Data
spellingShingle Compositional Modelling and Reasoning in an Institution for Processes and Data
Liam O'Reilly
title_short Compositional Modelling and Reasoning in an Institution for Processes and Data
title_full Compositional Modelling and Reasoning in an Institution for Processes and Data
title_fullStr Compositional Modelling and Reasoning in an Institution for Processes and Data
title_full_unstemmed Compositional Modelling and Reasoning in an Institution for Processes and Data
title_sort Compositional Modelling and Reasoning in an Institution for Processes and Data
author_id_str_mv 5eca7cf79b7384130a1feef384d90508
author_id_fullname_str_mv 5eca7cf79b7384130a1feef384d90508_***_Liam O'Reilly
author Liam O'Reilly
author2 Liam O’Reilly
Till Mossakowski
Markus Roggenbach
Liam O'Reilly
format Book chapter
container_title Recent Trends in Algebraic Development Techniques
container_volume 7137
publishDate 2012
institution Swansea University
isbn 978-3-642-28411-3
978-3-642-28412-0
issn 0302-9743
1611-3349
doi_str_mv 10.1007/978-3-642-28412-0_16
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 0
active_str 0
published_date 2012-12-31T04:37:59Z
_version_ 1851638288554655744
score 11.090009

Similar Items