Open AccessUnder-approximation of Reachability in Multivalued Asynchronous Networks
Author(s) -
Maxime Folschette,
Loïc Paulevé,
Morgan Magnin,
Olivier Roux
Publication year - 2013
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2013.11.004
Subject(s) - reachability , asynchronous communication , computer science , component (thermodynamics) , class (philosophy) , theoretical computer science , process (computing) , representation (politics) , interleaving , causality (physics) , mathematics , artificial intelligence , quantum mechanics , computer network , physics , politics , political science , law , thermodynamics , operating system
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom