TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
A Study of Abramsky's Linear Chemical Abstract Machine
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Proofnets and Context Semantics for the Additives
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Dominator Trees and Fast Verification of Proof Nets
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Geometry of deduction via graphs of proofs
Logic for concurrency and synchronisation
Chu's construction: a proof-theoretic approach
Logic for concurrency and synchronisation
Two paradigms of logical computation in affine logic?
Logic for concurrency and synchronisation
Concurrent programming as proof net construction
Mathematical Structures in Computer Science
Geometry of lexico-syntactic interaction
EACL '99 Proceedings of the ninth conference on European chapter of the Association for Computational Linguistics
Strong normalisation in the π-calculus
Information and Computation
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science
Composition of semantic web services using linear logic theorem proving
Information Systems - Special issue: The semantic web and web services
Fast verification of MLL proof nets via IMLL
ACM Transactions on Computational Logic (TOCL)
Relating State-Based and Process-Based Concurrency through Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
From web services annotation and composition to web services domain analysis
International Journal of Metadata, Semantics and Ontologies
Coordination: Reo, Nets, and Logic
Formal Methods for Components and Objects
Science of Computer Programming
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation
A Logical Interpretation of the λ-Calculus into the η-Calculus, Preserving Spine Reduction and Types
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
A Language For Multiplicative-additive Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A Concurrent Model for Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Composition of Semantic Web services using Linear Logic theorem proving
Information Systems
An exact correspondence between a typed pi-calculus and polarised proof-nets
Theoretical Computer Science
Lolliproc: to concurrency from classical linear logic via curry-howard and control
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Untyping typed algebraic structures and colouring proof nets of cyclic linear logic
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Session types as intuitionistic linear propositions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Dependent session types via intuitionistic linear type theory
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
What is a good process semantics?
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |