A BDD Representation for Positive Equational Formulas W Song, EW Stark | | |
A calculus of dataflow networks EW Stark LICS 92, 125-136, 1992 | 21 | 1992 |
A Cartesian Bicategory of Nondeterministic Arrows between Domains EW Stark | | |
A complete axiom system for finite-state probabilistic processes EW Stark, SA Smolka | 59 | 2000 |
A distributed shared memory facility for freeBSD P Souto, EW Stark Proceedings of the USENIX 1997 Technical Conference, Anaheim, California, 6-10, 1997 | 6 | 1997 |
A process-algebraic language for probabilistic I/O automata EW Stark, R Cleaveland, SA Smolka International Conference on Concurrency Theory, 193-207, 2003 | 28 | 2003 |
A proof of the Kahn principle for input/output automata NA Lynch, EW Stark Information and Computation 82 (1), 81-92, 1989 | 151 | 1989 |
A proof technique for rely/guarantee properties EW Stark Foundations of Software Technology and Theoretical Computer Science: Fifth …, 1985 | 172 | 1985 |
A Simple Generalization of Kahn’s Principle EW Stark Semantics for Concurrency: Proceedings of the International BCS-FACS …, 2013 | | 2013 |
A simple generalization of Kahn’s principle to indeterminate dataflow networks MZ Kwiatkowska, MW Shields, RM Thomas, EW Stark Semantics for Concurrency: Proceedings of the International BCS-FACS …, 1990 | 27 | 1990 |
Advanced Formal Methods for Reactive Systems Engineering R Cleaveland, E Stark, SA Smolka, ... | | 2005 |
An algebra of dataflow networks EW Stark Fundamenta Informaticae 22 (1-2), 167-185, 1995 | 9 | 1995 |
An Efficient Representation for Large Arrays of Rational Expressions EW Stark | | 2010 |
Andrej Bauer (Ljubljana) Stephen Brookes (Co-chair)(CMU) Jürgen Dingel (Queens) Martin Escardo (Birmingham) Philippa Gardner (Imperial) Eric Goubault (ENS) Radha Jagadeesan … D Leivant, P Panangaden, J Power, D Pym, U Reddy, JR CWI, E Stark, ... | | |
Bicategories EW Stark Archive of Formal Proofs, 2020 | 4* | 2020 |
Category theory with adjunctions and limits EW Stark Archive of Formal Proofs, 2016 | 10 | 2016 |
Composition and behaviors of probabilistic I/O automata SH Wu, SA Smolka, EW Stark CONCUR’94: Concurrency Theory: 5th International Conference, Uppsala, Sweden …, 1994 | 63 | 1994 |
Composition and behaviors of probabilistic I/O automata SH Wu, SA Smolka, EW Stark Theoretical Computer Science 176 (1-2), 1-38, 1997 | 172 | 1997 |
Compositional analysis of expected delays in networks of probabilistic I/O automata EW Stark, SA Smolka Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998 | 37 | 1998 |
Compositional Calculation of Steady-State Probabilities? EW Stark | | |