Proofs, Concurrent Objects, and Computations in a FILL Framework Export

@inproceedings{citeulike:441038, abstract = {There are several major approaches to model concurrent computations using logic. In this context, one aim can be to achieve different forms of programming as logic, object-oriented or concurrent ones in a same logical language. Linear logic seems to be well-suited to describe computations that are concurrent and based on state transitions. In this paper, we propose and analyze a framework based on Full Intuitionistic Linear Logic (FILL), logical fragment with potentialities for non-determinisms ...}, address = {Tokyo, Japan}, author = {Galmiche, D. and Boudinet, E.}, booktitle = {Object-Based Parallel And Distributed Computation}, citeulike-article-id = {441038}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.3912}, editor = {Briot, J. and Geib, J. and Yonezawa, A.}, keywords = {full-intuitionistic, linear, logic}, pages = {148--167}, posted-at = {2005-12-18 15:03:16}, priority = {4}, publisher = {Springer-Verlag, Berlin}, title = {Proofs, Concurrent Objects, and Computations in a {FILL Framework}}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.3912}, volume = {1107}, year = {1995} }

TY - CONF ID - citeulike:441038 L3 - citeulike-article-id:441038 N2 - There are several major approaches to model concurrent computations using logic. In this context, one aim can be to achieve different forms of programming as logic, object-oriented or concurrent ones in a same logical language. Linear logic seems to be well-suited to describe computations that are concurrent and based on state transitions. In this paper, we propose and analyze a framework based on Full Intuitionistic Linear Logic (FILL), logical fragment with potentialities for non-determinisms ... AD - Tokyo, Japan EP - 167 TI - Proofs, Concurrent Objects, and Computations in a {FILL Framework} PB - Springer-Verlag, Berlin VL - 1107 T2 - Object-Based Parallel And Distributed Computation SP - 148 KW - full-intuitionistic KW - linear KW - logic AU - Galmiche, D AU - Boudinet, E A2 - Briot, J A2 - Geib, J A2 - Yonezawa, A PY - 1995/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.3912 ER -