Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Hüttel, Hans - Department of Computer Science, Aalborg University
Migration = Cloning ; Aliasing (preliminary version)
Bisimulation Equivalence is Decidable for all ContextFree Processes
Inferring Effect Types in an Applicative Language with Asynchronous Concurrency
Bisimulations for asynchronous mobile processes Martin Hansen Hans Huttel Josva Kleist
That SnS Can Be Modally Characterized
EXPRESS 97 (1997) 15 pages Relating Semantic Models
The Use of Static Constructs in A Modal Process Logic
Deciding Framed Bisimilarity Hans Huttel
Silence is Golden: Branching Bisimilarity is Decidable for
Objects, Types and Modal Logics Dan S. Andersen Lars H. Pedersen Hans Huttel
Decidability, Behavioural Equivalences Infinite Transition Graphs
Basic Research in Computer Science Aliasing Models for Mobile Objects
Modal Logics for Cryptographic Processes Ulrik Frendrup
Undecidable Equivalences for Basic Parallel Processes Hans Huttel
The Complexity of Deciding Behavioural Equivalences and Preorders
Decidability issues for infinitestate processes --a survey
Undecidable Equivalences for Basic Process Algebra
Deciding Framed Bisimilarity BRICS, Department of Computer Science, Aalborg University
