1. Challenges and opportunity with big data : 19th Monterey Workshop 2016, Beijing, China, October 8-11, 2016, Revised selected papers /: 19th Monterey Workshop 2016, Beijing, China, October 8-11, 2016, Revised selected papers. (2017) Editors: Zhang, Lin; Ren, Lei, 1976-; Kordon, Fabrice Other Names: Monterey Workshop, 19th Record Type: Book Extent: 1 online resource (viii, 209 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Application and theory of petri nets and concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings /: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. (2016) Editors: Kordon, Fabrice; Moldt, Daniel Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 37th Record Type: Book Extent: 1 online resource (xvi, 345 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Tools and algorithms for the construction and analysis of systems : 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings.: 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Part III (2019) Editors: Beyer, Dirk, 1972-; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard Other Names: TACAS (Conference), 25th; ETAPS (Conference), 22nd Record Type: Book Extent: 1 online resource (xxvii, 258 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Controllability for discrete event systems modelled in VeriJ. (1st January 2014) Authors: Zhang, Yan; Bérard, Béatrice; Hillah, Lom Messan; Kordon, Fabrice; Thierry-Mieg, Yann Journal: International journal of critical computer-based systems Issue: Volume 5:Number 3/4(2014) Page Start: 218 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. An approach for developing an interoperability mechanism between cloud providers. (1st January 2014) Authors: Thabet, Meriem; Boufaida, Mahmoud; Kordon, Fabrice Journal: International journal of space-based and situated computing Issue: Volume 4:Number 2(2014) Page Start: 88 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Formalisation and verification of interaction protocols for business process integration: a Petri net approach. (10th March 2009) Authors: Benmerzoug, Djamel; Kordon, Fabrice; Boufaida, Mahmoud Journal: International journal of simulation and process modelling Issue: Volume 4:Number 3/4(2008) Page Start: 195 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. ASCENT: A Provably Terminating Decentralized Logging Service. (7th September 2017) Authors: Bonnaire, Xavier; Cortés, Rudyar; Kordon, Fabrice; Marin, Olivier Journal: Computer journal Issue: Volume 60:Number 12(2017) Page Start: 1889 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗