Practical Partial Order Reduction for CSP
Year of publication
2015
Authors
Gibson-Robinson, Thomas;Hansen, Henri;Roscoe, A. Willian;Wang, Xu
Organizations and authors
Tampere University
Hansen Henri
Publication type
Publication format
Article
Parent publication type
Conference
Article type
Other article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Journal/Series
Parent publication name
Conference
Publisher
Volume
9058
Pages
188-203
ISBN
Publication forum
Publication forum level
2
Open access
Open access in the publisher’s service
No
Self-archived
No
Other information
Fields of science
Mathematics
Internationality of the publisher
International
Language
English
International co-publication
Yes
Co-publication with a company
No
DOI
10.1007/978-3-319-17524-9_14
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes