( en | de | ru )

 

Disambiguation of "Barringer, Howard"

Author of the publication

copydeleteadd this publication to your clipboard
Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework.

, and . Seminar on Concurrency, volume 197 of Lecture Notes in Computer Science, page 35-61. Springer, (1984)

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.

Rasmus Barringer

Howard Nelson

Howard Foster

Howard Li

Howard Smoller

 

Other publications of authors with the same name

A Survey of Verification Techniques for Parallel Programs. Lecture Notes in Computer Science Springer, (1985)Editorial.. J. Log. Comput., 1 (5): 573-574 (1991)A foundation for formal reuse of hardware., and . CHARME, volume 987 of Lecture Notes in Computer Science, page 124-145. Springer, (1995)An Entry Point for Formal Methods: Specification and Analysis of Event Logs, , , and . FMA, volume 20 of EPTCS, page 16-21. (2009)Automated Reasoning in the Simulation of Evolvable Systems., , and . PAAR@IJCAR, volume 9 of EPiC Series in Computing, page 11-21. EasyChair, (2010)ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems., , and . RV, volume 6418 of Lecture Notes in Computer Science, page 469-474. Springer, (2010)A Purpose-Based Access Control Model., , and . IAS, page 143-148. IEEE Computer Society, (2007)A Really Abstract Concurrent Model and its Temporal Logic., , and . POPL, page 173-183. ACM Press, (1986)Efficient CTL* model checking for analysis of rainbow designs., , , , and . CHARME, volume 105 of IFIP Conference Proceedings, page 128-145. Chapman & Hall, (1997)Forays into Sequential Composition and Concatenation in Eagle., and . RV, volume 5289 of Lecture Notes in Computer Science, page 69-85. Springer, (2008)