No Cover Image

Conference Paper/Proceeding/Abstract 1169 views

Compositional Modelling and Reasoning in an Institution for Processes and Data

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

Recent Trends in Algebraic Development Techniques, Volume: 7137, Pages: 251 - 269

Swansea University Authors: Markus Roggenbach Orcid Logo, Liam O'Reilly Orcid Logo

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

Published in: Recent Trends in Algebraic Development Techniques
ISSN: 0302-9743 1611-3349
Published: Heidelberg Springer 2012
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa8087
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2013-07-23T12:00:13Z
last_indexed 2018-02-09T04:36:54Z
id cronfa8087
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2015-10-15T10:27:18.9700225</datestamp><bib-version>v2</bib-version><id>8087</id><entry>2012-02-22</entry><title>Compositional Modelling and Reasoning in an Institution for Processes and Data</title><swanseaauthors><author><sid>7733869ae501442da6926fac77cd155b</sid><ORCID>0000-0002-3819-2787</ORCID><firstname>Markus</firstname><surname>Roggenbach</surname><name>Markus Roggenbach</name><active>true</active><ethesisStudent>false</ethesisStudent></author><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>2012-02-22</date><deptcode>SCS</deptcode><abstract></abstract><type>Conference Paper/Proceeding/Abstract</type><journal>Recent Trends in Algebraic Development Techniques</journal><volume>7137</volume><paginationStart>251</paginationStart><paginationEnd>269</paginationEnd><publisher>Springer</publisher><placeOfPublication>Heidelberg</placeOfPublication><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>http://link.springer.com/chapter/10.1007%2F978-3-642-28412-0_16</url><notes></notes><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2015-10-15T10:27:18.9700225</lastEdited><Created>2012-02-22T13:37:06.0000000</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><orcid>0000-0002-3819-2787</orcid><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 2015-10-15T10:27:18.9700225 v2 8087 2012-02-22 Compositional Modelling and Reasoning in an Institution for Processes and Data 7733869ae501442da6926fac77cd155b 0000-0002-3819-2787 Markus Roggenbach Markus Roggenbach true false 5eca7cf79b7384130a1feef384d90508 0000-0002-4894-2158 Liam O'Reilly Liam O'Reilly true false 2012-02-22 SCS Conference Paper/Proceeding/Abstract Recent Trends in Algebraic Development Techniques 7137 251 269 Springer Heidelberg 0302-9743 1611-3349 31 12 2012 2012-12-31 10.1007/978-3-642-28412-0_16 http://link.springer.com/chapter/10.1007%2F978-3-642-28412-0_16 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2015-10-15T10:27:18.9700225 2012-02-22T13:37:06.0000000 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Liam O’Reilly 1 Till Mossakowski 2 Markus Roggenbach 0000-0002-3819-2787 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
Markus Roggenbach
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 7733869ae501442da6926fac77cd155b
5eca7cf79b7384130a1feef384d90508
author_id_fullname_str_mv 7733869ae501442da6926fac77cd155b_***_Markus Roggenbach
5eca7cf79b7384130a1feef384d90508_***_Liam O'Reilly
author Markus Roggenbach
Liam O'Reilly
author2 Liam O’Reilly
Till Mossakowski
Markus Roggenbach
Liam O'Reilly
format Conference Paper/Proceeding/Abstract
container_title Recent Trends in Algebraic Development Techniques
container_volume 7137
container_start_page 251
publishDate 2012
institution Swansea University
issn 0302-9743
1611-3349
doi_str_mv 10.1007/978-3-642-28412-0_16
publisher Springer
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
url http://link.springer.com/chapter/10.1007%2F978-3-642-28412-0_16
document_store_str 0
active_str 0
published_date 2012-12-31T03:10:08Z
_version_ 1763749929824550912
score 10.990307