[{"data": {"name": "Formalising Observer Theory for Environment-Sensitive Bisimulation", "@type": "ScholarlyArticle", "genre": "book-chapter", "author": [{"name": "Jeremy E. Dawson", "@type": "Person"}, {"name": "Alwen Tiu", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "http://arp.anu.edu.au/%7Ejeremy/pubs/spi/fotesb/spi-lncs.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "Springer Berlin Heidelberg", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1007/978-3-642-03359-9_14", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCFAT9W4uwhBG-CTrz3XakQAxFf-CDVxWh87Qa8Bw-CRMZdVMEPypEW", "propertyID": "ISCC"}], "datePublished": "2009-01-01"}, "schema": "schema.org", "mediatype": "application/ld+json"}]