Bisimulation and Logic

Colin Stirling

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

Original language	English
Title of host publication	Advanced Topics in Bisimulation and Coinduction
Editors	Davide Sangiorgi, Jan Rutten
Publisher	Cambridge University Press
Pages	173-196
Number of pages	24
ISBN (Electronic)	9780511792588
ISBN (Print)	9781107004979
DOIs	https://doi.org/10.1017/CBO9780511792588.005
Publication status	Published - 2011

Name	Cambridge Tracts in Theoretical Computer Science
Volume	52

Access to Document

@inbook{1d8f10632b6f4378ba0b0ed2118550df,

title = "Bisimulation and Logic",

author = "Colin Stirling",

year = "2011",

doi = "10.1017/CBO9780511792588.005",

language = "English",

isbn = "9781107004979",

series = "Cambridge Tracts in Theoretical Computer Science",

publisher = "Cambridge University Press",

pages = "173--196",

editor = "Davide Sangiorgi and Jan Rutten",

booktitle = "Advanced Topics in Bisimulation and Coinduction",

address = "United States",

}

TY - CHAP

T1 - Bisimulation and Logic

AU - Stirling, Colin

PY - 2011

Y1 - 2011

U2 - 10.1017/CBO9780511792588.005

DO - 10.1017/CBO9780511792588.005

M3 - Chapter (peer-reviewed)

SN - 9781107004979

T3 - Cambridge Tracts in Theoretical Computer Science

SP - 173

EP - 196

BT - Advanced Topics in Bisimulation and Coinduction

A2 - Sangiorgi, Davide

A2 - Rutten, Jan

PB - Cambridge University Press

ER -