Learn More
Well-structured transition systems (WSTS's) are a general class of innnite state systems for which decidability results rely on the existence of a well-quasi-ordering between states that is compatible with the transitions. In this article, we provide an extensive treatment of the WSTS idea and show several new results. Our improved deenitions allow many(More)
This paper gives a simple and direct algorithm for computing the always regular set of reachable states of a pushdown system. It then exploits this algorithm for obtaining model checking algorithms for linear-time temporal logic as well as for the logic CTL. For the latter, a new technical tool is introduced: pushdown automata with transitions conditioned(More)
We describe two enhancements of the planar bilayer recording method which enable low-noise recordings of single-channel currents activated by voltage steps in planar bilayers formed on apertures in partitions separating two open chambers. First, we have refined a simple and effective procedure for making small bilayer apertures (25-80 micrograms diam) in(More)