History-preserving bisimilarity for higher-dimensional automata via open maps

{"controller"=>"catalog", "action"=>"show", "id"=>"255185843"}

Example	Finds records
water{}	containing the word "water".
water supplies"{}"	containing the phrase "water supplies".
author:"Doe, John"author:"{}"	containing the prase "Doe, John" in the author field.
title:IEEEtitle:{}	containing the word "IEEE" in the title field.
Need more help?	Advanced search tutorial

Authors:

Fahrenberg, Uli
Close
Department of Computer Science, The Technical Faculty of IT and Design, Aalborg University

DOI:

10.1016/j.entcs.2013.09.012

Type:

Journal article

Language:

English

Published in:

Logical Methods in Computer Science, 2014, p. 2-20

Main Research Area:

Science/technology

Publication Status:

Published

Review type:

Peer Review

Submission year:

2014

Scientific Level:

Scientific

ID:

255185843

Full text access