A logical view of concurrent constraint programming
Nordic Journal of Computing
Geometry of deduction via graphs of proofs
Logic for concurrency and synchronisation
Geometry of Interaction and linear combinatory algebras
Mathematical Structures in Computer Science
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
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
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
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
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
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property
Fundamenta Informaticae - Logic, Language, Information and Computation
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Hi-index | 0.00 |