Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by L. Gregory Meredith
PiDuce: A Process Calculus With Native XML Datatypes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A STUDY OF NATIVE XML DATABASES - Document Update, Querying, Access Control and Application Programming Interfaces in Native XML Databases
An Openehr Repository Based on a Native XML Database
A Process Calculus Analysis of Compensations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling Consensus in a Process Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Nested Datatypes With Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus With Explicit Flattening
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
XML Schema Validation Process for CORE.GOV
XML Programming With SQL/XML and XQuery
IBM Systems Journal
Pi+-Calculus: A Calculus for Concurrent Processes With Constraints
CLEI Electronic Journal
A Domain-Theoretic Model for a Higher-Order Process Calculus
