Author:
Del Vecchio Stefano,Mogbil Virgile
Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. Logic programming with focusing proofs in linear logic;Andreoli;J. Log. Comput.,1992
2. Ludics with repetitions (exponentials, interactive types and completeness);Basaldella,2011
3. A concurrent model for linear logic;Beffara;Electr. Notes Theor. Comput. Sci.,2006
4. A logical view on scheduling in concurrency;Beffara,2014
5. Concurrent nets: A study of prefixing in process calculi;Beffara;Theor. Comput. Sci.,2006