L. Gregory Meredith

Person

Seattle, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Process language for microprocessors with finite resources
- Patent number 8,156,472
- Issue date Apr 10, 2012
- Microsoft Corporation
- L. Gregory Meredith
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type checking for safe interoperability among web processes
- Patent number 7,702,749
- Issue date Apr 20, 2010
- Microsoft Corporation
- L. Gregory Meredith
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Operational semantics rules for governing evolution of processes an...
- Patent number 7,216,335
- Issue date May 8, 2007
- Microsoft Corporation
- L. Gregory Meredith
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Structural equivalence of expressions containing processes and queries
- Patent number 7,117,487
- Issue date Oct 3, 2006
- Microsoft Corporation
- L. Gregory Meredith
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Permutation nuances of the integration of processes and queries as...
- Patent number 7,055,142
- Issue date May 30, 2006
- Microsoft Corporation
- L. Gregory Meredith
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Using biological models
- Publication number 20070100558
- Publication date May 3, 2007
- Walter Fontana
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Process language for microprocessors with finite resources
- Publication number 20050183099
- Publication date Aug 18, 2005
- Microsoft Corporation
- L. Gregory Meredith
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Type checking for safe interoperability among Web processes
- Publication number 20040064529
- Publication date Apr 1, 2004
- Microsoft Corporation
- L. Gregory Meredith
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Safe interoperability among web services
- Publication number 20040064528
- Publication date Apr 1, 2004
- Microsoft Corporation
- L. Greg Meredith
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Operational semantics rules for governing evolution of processes an...
- Publication number 20030212671
- Publication date Nov 13, 2003
- Microsoft Corporation
- L. Gregory Meredith
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Permutation nuances of the integration of processes and queries as...
- Publication number 20030212540
- Publication date Nov 13, 2003
- Microsoft Corporation
- L. Gregory Meredith
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Process kernel
- Publication number 20030212761
- Publication date Nov 13, 2003
- Microsoft Corporation
- L. Gregory Meredith
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Structural equivalence of expressions containing processes and queries
- Publication number 20030212672
- Publication date Nov 13, 2003
- Microsoft Corporation
- L. Gregory Meredith
- G06 - COMPUTING CALCULATING COUNTING

L. Gregory Meredith

Person

Patents Grantslast 30 patents

Process language for microprocessors with finite resources

Type checking for safe interoperability among web processes

Operational semantics rules for governing evolution of processes an...

Structural equivalence of expressions containing processes and queries

Permutation nuances of the integration of processes and queries as...

Patents Applicationslast 30 patents

Using biological models

Process language for microprocessors with finite resources

Type checking for safe interoperability among Web processes

Safe interoperability among web services

Operational semantics rules for governing evolution of processes an...

Permutation nuances of the integration of processes and queries as...

Process kernel

Structural equivalence of expressions containing processes and queries