Patents by Inventor Cosimo Laneve

Cosimo Laneve has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Structured message process calculus
    Patent number: 7685566
    Abstract: Trees are a common semantic denominator of XML data types and process calculi. This indicates a potential tight intertwining of the syntax and semantics of data and processes. The invention provides this intertwining via a process calculus wherein the data language syntax is a fragment of the programming language syntax.
    Type: Grant
    Filed: June 30, 2004
    Date of Patent: March 23, 2010
    Assignee: Microsoft Corporation
    Inventors: Allen L. Brown, Jr., Lucius Gregory Meredith, Cosimo Laneve
  • Structured message process calculus
    Publication number: 20050166183
    Abstract: Trees are a common semantic denominator of XML data types and process calculi. This indicates a potential tight intertwining of the syntax and semantics of data and processes. The invention provides this intertwining via a process calculus wherein the data language syntax is a fragment of the programming language syntax.
    Type: Application
    Filed: June 30, 2004
    Publication date: July 28, 2005
    Applicant: Microsoft Corporation
    Inventors: Allen Brown, Lucius Meredith, Cosimo Laneve