Book contents
- Frontmatter
- Contents
- Introduction
- Speakers and Titles
- Thread algebra and risk assessment services
- Covering definable manifolds by open definable subsets
- Isomorphisms and definable relations on computable models
- Independence for types in algebraically closed valued fields
- Simple groups of finite Morley rank
- Towards a logic of type-free modality and truth
- Structural analysis of Aronszajn trees
- Proof analysis in non-classical logics
- Paul Bernays' later philosophy of mathematics
- Proofnets for S5: Sequents and circuits for modal logic
- Recursion on the partial continuous functionals
- A transactional approach to the logic of truth
- On some problems in computable topology
- Monotone inductive definitions and consistency of New Foundations
- LECTURE NOTES IN LOGIC
Thread algebra and risk assessment services
Published online by Cambridge University Press: 18 December 2009
Book contents
- Frontmatter
- Contents
- Introduction
- Speakers and Titles
- Thread algebra and risk assessment services
- Covering definable manifolds by open definable subsets
- Isomorphisms and definable relations on computable models
- Independence for types in algebraically closed valued fields
- Simple groups of finite Morley rank
- Towards a logic of type-free modality and truth
- Structural analysis of Aronszajn trees
- Proof analysis in non-classical logics
- Paul Bernays' later philosophy of mathematics
- Proofnets for S5: Sequents and circuits for modal logic
- Recursion on the partial continuous functionals
- A transactional approach to the logic of truth
- On some problems in computable topology
- Monotone inductive definitions and consistency of New Foundations
- LECTURE NOTES IN LOGIC
Summary
Abstract. Threads as contained in a thread algebra emerge from the behavioral abstraction from programs in an appropriate program algebra. Threads may make use of services such as stacks, and a thread using a single stack is called a pushdown thread. Equivalence of pushdown threads is decidable. Using this decidability result, an alternative to Cohen's impossibility result on virus detection is discussed and some results on risk assessment services are proved.
- Type
- Chapter
- Information
- Logic Colloquium 2005 , pp. 1 - 17Publisher: Cambridge University PressPrint publication year: 2007