Search: 'Peter Mosses'

Showing 1 - 20 of 25 query time: 0.03s
Search Tools: Get RSS Feed
No Cover Image

Conference Paper/Proceeding/Abstract


Swansea University Author: Peter Mosses
Published 2008
No Cover Image

Conference Paper/Proceeding/Abstract


Swansea University Author: Peter Mosses
Published 2009
No Cover Image

Book chapter


Swansea University Author: Peter Mosses
Published 2010
No Cover Image

Journal article


Swansea University Author: Peter Mosses
Published in Science of Computer Programming (2013)
No Cover Image

Journal article


Swansea University Author: Peter Mosses
Published in Formal Aspects of Computing (2010)
No Cover Image

Journal article


Swansea University Author: Peter Mosses
Published in Journal of Computer Languages (2019)
No Cover Image

Conference Paper/Proceeding/Abstract


No Cover Image

Conference Paper/Proceeding/Abstract


No Cover Image

Book chapter

FunKons: Component-Based Semantics in K / Peter Mosses, Ferdinand Vesely

Swansea University Authors: Peter Mosses, Ferdinand Vesely
Published in Rewriting Logic and Its Applications (2014)
In collection: College of Science
No Cover Image

Book chapter

Weak Bisimulation as a Congruence in MSOS / Peter Mosses, Ferdinand Vesely

Swansea University Authors: Peter Mosses, Ferdinand Vesely
Published in Logic, Rewriting, and Concurrency (2015)
In collection: College of Science
No Cover Image

Other


Swansea University Author: Peter Mosses
Published in Information and Computation (2009)
No Cover Image

Conference Paper/Proceeding/Abstract


Swansea University Author: Peter Mosses
Published in Electronic Notes in Theoretical Computer Science (2009)
No Cover Image

Journal article

Flag-based big-step semantics / Casper Bach Poulsen

No Cover Image

Conference Paper/Proceeding/Abstract


Swansea University Author: Peter Mosses
Published in Logic-Based Program Synthesis and Transformation (2014)
No Cover Image

Conference Paper/Proceeding/Abstract


Swansea University Author: Peter Mosses
Published in Programming Languages and Systems (2014)
No Cover Image

Other


Swansea University Author: Peter Mosses
Published in Information and Computation (2009)
No Cover Image

Journal article


Swansea University Author: Peter Mosses
Published in Innovations in Systems and Software Engineering (2010)
No Cover Image

Conference Paper/Proceeding/Abstract

Reusable components of semantic specifications / Martin Churchill, Paolo Torrini

Swansea University Author: Peter Mosses
Published in Modularity '14 (2014)
No Cover Image

Conference Paper/Proceeding/Abstract


Swansea University Author: Peter Mosses
Published in CONCUR 2013 – Concurrency Theory (2013)
No Cover Image

Conference Paper/Proceeding/Abstract


Swansea University Author: Peter Mosses
Published in WoC 2015: Proceedings of the Workshop on Continuations (2016)
In collection: College of Science
Search Tools: Get RSS Feed

Narrow Search

Year of Publication