( en | de | ru )

 

Disambiguation of "Emerson, E. Allen"

Author of the publication

copydeleteadd this publication to your clipboard
Scheduling workflows by enforcing intertask dependencies.

, , , , and . Distributed Systems Engineering, 3 (4): 222-238 (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vanessa Emerson

Robert Emerson

Emerson León

Ryan Emerson

Emerson Barbosa

 

Other publications of authors with the same name

Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL., , and . ICSE, page 188-198. ACM Press, (1992)A Decidable Temporal Logic to Reason About Many Processes., and . PODC, page 233-246. ACM, (1990)Multi-threaded reachability., , , , and . DAC, page 467-470. ACM, (2005)Model Checking: Progress and Problems.. VMCAI, volume 5403 of Lecture Notes in Computer Science, page 1. Springer, (2009)Model Checking Synchronous Timing Diagrams., , , and . FMCAD, volume 1954 of Lecture Notes in Computer Science, page 283-298. Springer, (2000)Visual Specifications for Modular Reasoning about Asynchronous Systems., , , and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 226-242. Springer, (2002)Abstract Patterns of Compositional Reasoning., , , and . CONCUR, volume 2761 of Lecture Notes in Computer Science, page 423-438. Springer, (2003)Cost-Aware Automatic Program Repair., , and . SAS, volume 8723 of Lecture Notes in Computer Science, page 268-284. Springer, (2014)An Algorithmic Framework for Synthesis of Concurrent Programs., and . ATVA, volume 6996 of Lecture Notes in Computer Science, page 522-530. Springer, (2011)Methods for Mu-calculus Model Checking: A Tutorial (Abstract).. CAV, volume 939 of Lecture Notes in Computer Science, page 141. Springer, (1995)