You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Swansea University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Swansea University

Return to search Previous output Next output

Output 32 of 73 in the submission

Output title

Modular bisimulation theory for computations and values

Type

E - Conference contribution

DOI

10.1007/978-3-642-37075-5_7

Name of conference/published proceedings

FOSSACS: Foundations of Software Science and Computation Structures

Volume number

7794

Issue number

First page of article

ISSN of proceedings

0302-9743

Year of publication

2013

URL

Number of additional authors

Additional information

<10> The presented results are crucial for the £1.5M EPSRC PLanCompS project (EP/I032495/1). The article establishes the first bisimulation congruence format for modular structural operational semantics (MSOS) rules. Rules in this format are used for specifying dynamic semantics in the component-based PLanCompS framework, and congruence is essential for compositional reasoning about operational behaviour. FOSSACS is the primary conference for theoretical computer science at ETAPS. The FOSSACS 2013 review process included an author response phase.

Interdisciplinary

Cross-referral requested

Research group

A - Theoretical Computer Science

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract