Ruy J. G. B. de Queiroz

5 published titles

Logic for concurrency and synchronisation

(Contributor)

1 edition

Logic, Language, Information and Computation : 18th international workshop, WOLLIC 2011, Philadelphia, PA, USA : proceedings

(Contributor)

1 edition

Logic, language, information and computation : 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6 2012 : proceedings

(Contributor)

1 edition

Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings

(Contributor)

1 edition

Logic, language, information, and computation : 21st international workshop, WoLLIC 2014, Valparas̕o, Chile, September 1-4, 2014, proceedings

(Contributor)

1 edition