Travelled to:1 × Israel
1 × Spain
2 × Canada
2 × USA
Collaborated with:J.Andreoli D.Miller F.A.Fontana F.Formato N.S.Glance D.Pagani T.Castagnetti L.L.Thomsen B.Thomsen
Talks about:process (3) linear (3) logic (3) structur (2) communic (2) program (2) grammar (2) concurr (2) represent (1) interpret (1)
Person: Remo Pareschi
DBLP: Pareschi:Remo
Facilitated 1 volumes:
EdContributed to:
2010
1996
1993
199119901990
1993Wrote 8 papers:
- KEOD-2010-FontanaFP #co-evolution #community #information management #ontology
- Ontologies and Communities Co-evolution in Information Systems (FAF, FF, RP), pp. 453–458.
- CSCW-1996-GlancePP #flexibility #process
- Generalized Process Structure Grammars GPSG for Flexible Representations of Work (NSG, DP, RP), pp. 180–189.
- ILPS-1993-AndreoliCP #abstract interpretation #linear #logic programming
- Abstract Interpretation of Linear Logic Programming (JMA, TC, RP), pp. 295–314.
- OOPSLA-1991-AndreoliP #communication #information management
- Communication as Fair Distribution of Knowledge (JMA, RP), pp. 212–229.
- CLP-1990-AndreoliP90 #inheritance #linear #logic #process
- Linear Objects in a Logic Processes with Built-in Inheritance (JMA, RP), pp. 495–510.
- CLP-1990-PareschiM90 #definite clause grammar
- Extending Definite Clause Grammars with Scoping Constructs (RP, DM), pp. 373–389.
- OOPSLA-ECOOP-1990-AndreoliP #concurrent #exclamation #process
- LO and Behold! Concurrent Structured Processes (JMA, RP), pp. 44–56.
- TAPSOFT-1993-AndreoliLPT #communication #concurrent #linear #logic programming #programming language #semantics
- True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication (JMA, LLT, RP, BT), pp. 182–198.