Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Stark, Eugene W. - Department of Computer Science, SUNY at Stony Brook
Linear Decision Diagrams Eugene W. Stark, Wenxin Song
Proving Entailment Between Conceptual State Specifications
Fibrational Semantics of Dataflow Networks ? Eugene W. Stark
Stability and Sequentiality in Dataflow Networks Prakash Panangaden \Lambda Vasant Shanbhogue
Reaching Approximate Agreement in the Presence of Faults
A Simple Generalization of Kahn's Principle to Indeterminate Dataflow Networks
A Complete Axiom System for FiniteState Probabilistic Processes
A Proof of the Kahn Principle for Input/Output Automata Nancy A. Lynch
Concurrent Transition Systems \Lambda Eugene W. Stark
The Integrated CWBNC/PIOATool for Functional Verification and Performance
Computations, Residuals, and the Power of Indeterminacy
An Algebra of Dataflow Networks Eugene W. STARK \Lambda
A Distributed Shared Memory Facility for FreeBSD \Lambda
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata \Lambda
A BDD Representation for Positive Equational Formulas
Probabilistic I/O Automata: Theories of Two Equivalences
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
Concurrent Transition System Semantics of Process Networks
Connections between a Concrete and an Abstract Model of Concurrent Systems
A Proof Technique for Rely/Guarantee Properties Eugene W. Stark 1
Proving Entailment Between Conceptual State Specifications
Compositional Relational Semantics for Indeterminate Dataflow Networks
On the Relations Computable by a Class of Concurrent Automata
Composition and Behaviors of Probabilistic I/O Automata \Lambda
Debugging Type Errors (Full version) Karen L. Bernstein and Eugene W. Stark \Lambda
A Proof Technique for Rely/Guarantee Properties Eugene W. Stark \Lambda
Compositional Performance
Journal of Automata, Languages and Combinatorics u (v) w, x--y fl OttovonGuerickeUniversitat Magdeburg
Fully Distributed, AND/OR Parallel Execution of Logic Programs
Fighting Livelock in the iProtocol: A Comparative Study of Verification Tools ?
UNPUBLISHED 2010 A Cartesian Bicategory of Nondeterministic
Implementation of a Compositional Performance Analysis Algorithm for Probabilistic I/O
Composition and Behaviors of Probabilistic I/O Automata
A Calculus of Dataflow Networks (Extended Abstract)
Operational Semantics of a Focusing Debugger (Full version)
Compositional Calculation of SteadyState Probabilities ?
Dataflow Networks are Fibrations Eugene W. Stark \Lambda
Formally Defining Debuggers: A Comparison of Three Approaches