Buch, Englisch, Band 2154, 589 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 1830 g
12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
Buch, Englisch, Band 2154, 589 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 1830 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-42497-0
Verlag: Springer Berlin Heidelberg
The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Funktionale, Logische, Parallele und Visuelle Programmierung
- Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung Internet, E-Mail, VoIP
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
- Sozialwissenschaften Medien- und Kommunikationswissenschaften Kommunikationswissenschaften Digitale Medien, Internet, Telekommunikation
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik Mathematik Algebra Homologische Algebra
- Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
Weitere Infos & Material
Invited Talks.- Channel Representations in Protocol Verification.- Bigraphical Reactive Systems.- Control of Networks of Unmanned Vehicles.- Process Algebra and Security (Abstract).- Invited Tutorials.- Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software.- Performance Evaluation:= (Process Algebra + Model Checking) X Markov Chains.- Mobility.- Typing Mobility in the Seal Calculus.- Reasoning about Security in Mobile Ambients.- Synchronized Hyperedge Replacement with Name Mobility.- Dynamic Input/Output Automata: A Formal Model for Dynamic Systems.- Probabilistic Systems.- Probabilistic Information Flow in a Process Algebra.- Symbolic Computation of Maximal Probabilisti Reachability.- Randomized Non-sequential Processes.- Model Checking.- Liveness and Fairness in Process-Algebraic Verification.- Bounded Reachability Checking with Process Semantics.- Techniques for Smaller Intermediary BDDs.- An Algebraic Characterization of Data and Timed Languages.- Process Algebra.- A Faster-than Relation for Asynchronous Processes.- On the Power of Labels in Transition Systems.- On Barbed Equivalences in ?-Calculus.- CCS with Priority Guards.- Probabilistic Systems.- A Testing Theory for Generally Distributed Stochastic Processes.- An Algorithm for Quantitative Verification of Probabilistic Transition Systems.- Compositional Methods for Probabilistic Systems.- Unfoldings and Prefixes.- Towards an Efficient Algorithm for Unfolding Petri Nets.- A Static Analysis Technique for Graph Transformation Systems.- Local First Search — A New Paradigm for Partial Order Reductions.- Extending Memory Consistency of Finite Prefixes to Infinite Computations.- Model Checking.- Abstraction-Based Model Checking Using Modal Transition Systems.- Efficient Multiple-ValuedModel-Checking Using Lattice Representations.- Divide and Compose: SCC Refinement for Language Emptiness.- Unavoidable Configurations of Parameterized Rings of Processes.- Logic and Compositionality.- Logic of Global Synchrony.- Compositional Modeling of Reactive Systems Using Open Nets.- Extended Temporal Logic Revisited.- Games.- Symbolic Algorithms for Infinite-State Games.- A Game-Based Verification of Non-repudiation and Fair Exchange Protocols.- The Control of Synchronous Systems, Part II.
