Number 1-4, 2008Number 1-4, 2008
Concurrency, specification and programming (CS&P)
Concurrency Specification and Programming (CS&P) - Preface i - i
Algorithmic Logic + SpecVer = The Methodology for High Integrity
Programming - Invited Paper
Grażyna Mirkowska, Andrzej Salwicki, Oskar Świda
A Multi-facet Approach to Dynamic Agent Systems
Marek A. Bednarczyk, Wiesław Pawłowski, Luca Bernardinello, Lucia Pomello,
Tomasz Borzyszkowski
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Marco Bellia, M. Eugenia Occhiuto
A Logic for Reasoning about Persuasion
Katarzyna Budzyńska, Magdalena Kacprzak
Time Distribution in Structural Workflow Nets
Piotr Chrząstowski-Wachtel, Paweł Findeisen, Grzegorz Wolny
Boolean Algebra of Nets, their Synthesis and Analysis
Ludwik Czaja
Feature Selection Algorithm for Multiple Classifier Systems: A Hybrid Approach
Paweł Delimata, Zbigniew Suraj
Petri
Net Controlled Finite Automata
Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke,
Georg Zetzsche
Constraint Based World Modeling
Daniel Göhring, Heinrich Mellmann, Kataryna Gerasymova, Hans-Dieter
Burkhard
Satisfiability of Formulas from the Standpoint of Object
Classification: The RST Approach
Anna Gomolińska
Case-based Planning of Treatment of Infants with Respiratory Failure
Grzegorz Góra, Jan G.Bazan, Piotr Kruczek, Stanisława Bazan-Socha, Andrzej Skowron,
Jacek J. Pietrzyk
Probabilistic Information Flow Security
Damas P. Gruska
Security in a Model for Long-running Transactions
Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo
Milazzo
Approximation Space and LEM2-like Algorithms for Computing Local Coverings
Jerzy W.Grzymała-Busse, Wojciech Rząsa
Token History Petri Nets
Kees van Hee, Alexander Serebrenik, Natalia Sidorova
Translation of Intermediate Language to Timed
Automata with Discrete Data
Agata Janowska, Paweł Janowski, Dobiesław
Wróblewski
Optimization in Discovery of Compound Granules
Andrzej Jankowski, James F.Peters, Andrzej Skowron, Jarosław Stepaniuk
Language Classes Defined by Concurrent Finite Automata
Matthias Jantzen, Manfred Kudlek, Georg Zetzsche
On Trace-Expressible Behaviour of Petri Nets
Joanna Jółkowska, Edward Ochmański
Memory-Based State-Estimation
Matthias Jüngel, Heinrich Mellmann
VerICS 2007 - a Model Checker for Knowledge and Real-Time
Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski, Wojciech Penczek, Agata Półrola, Maciej Szreter,
Bożena Woźna, Andrzej Zbrzezny
Linear Properties of Zero-Safe Nets with Debit Tokens
Michael Köhler-Bußmeier, Manfred Kudlek
A Deterministic Algorithm for Identifying Direct Superclasses in Java
Hans Langmaack, Andrzej Salwicki, Marek Warpechowski
LDYIS: a Framework for Model Checking Security Protocols
Alessio Lomuscio, Wojciech Penczek
Specification and Verification of Invariants by Exploiting Layers in OO Designs
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit
Projection Representation of Mazurkiewicz Traces
Łukasz Mikulski
Translation of Timed Promela to Timed Automata
with Discrete Data
Wojciech Nabiałek, Agata Janowska, Paweł Janowski
SAT-based Unbounded Model Checking of Timed Automata
Wojciech Penczek, Maciej Szreter
Some Aspects of Parsing Expression Grammar
Roman R. Redziejowski
Processes in Systems with Limited Resources in the Context
of Non-extensive Thermodynamics
Dominik Strzałka, Franciszek Grabowski
Modelling and Simulation of Quantum Teleportation
and Dense Coding Using Predicate/Transition-Nets
Kimmo Varpaaniemi, Leo Ojala
An Algebraic Framework for Defining Random Concurrent Behaviours
Józef Winkowski
Distance Measures Induced by Finite Approximation Spaces and Approximation Operators
Marcin Wolski
Improving the Translation from ECTL to SAT
Andrzej Zbrzezny
Towards Verification of Java Programs in
VerICS
Andrzej Zbrzezny, Bożena Woźna
Greedy Algorithm for Attribute Reduction
Beata Zielosko, Marcin Piliszczuk