Fundamenta Informaticae - Tom Vol. 80, nr 1-3 (2007) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 80, nr 1-3

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2007

Identyfikatory

Zawartość wolumenu

Vol. 80, nr 1-3
- artykuł: On First-Order Fragments for Mazurkiewicz Traces (Diekert V., Horsch M., Kufleitner M.), s. 1-29
- artykuł: On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces (Bernardinello L., Monticelli E., Pomello L.), s. 31-47
- artykuł: Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties (Billington J., Han B.), s. 49-74
- artykuł: Making Petri Nets Safe and Free of Internal Transitions (Best E., Darondeau P., Wimmel H.), s. 75-90
- artykuł: Static BiLog: a Unifying Language for Spatial Structures (Conforti G., Macedonio D., Sassone. V.), s. 91-110
- artykuł: Finitary Compositions of Two-way Finite-State Transductions (Engelfriet J., Hoogeboom H.J.), s. 111-123
- artykuł: Computing Properties of Numerical Imperative Programs by Symbolic Computation (Carette J., Janicki R.), s. 125-146
- artykuł: On Communicating Automata with Bounded Channels (Genest B., Kuske D., Muscholl A.), s. 147-167
- artykuł: Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces (Gastin P., Kuske D.), s. 169-197
- artykuł: Processes of Petri Nets with Range Testing (Kleijn J., Koutny M.), s. 199-219
- artykuł: An Efficient Message Passing Election Algorithm based on Mazurkiewicz's Algorithm (Chalopin J., Métivier Y.), s. 221-246
- artykuł: On Minimal Rule Sets for Almost All Binary Information Systems (Moshkov M.Ju., Skowron A., Suraj Z.), s. 247-258
- artykuł: On Ethics of Mazurkiewicz Traces (Ochmański E., Pieckowska J.), s. 259-272
- artykuł: The Decent Philosophers: An Exercise in Concurrent Behaviour (Reisig W.), s. 273-281
- artykuł: On Process-algebraic Verification of Asynchronous Circuits (Wang X., Kwiatkowska M.), s. 283-310
- artykuł: Towards a Framework for Modelling Behaviours of Hybrid Systems (Winkowski J.), s. 311-332

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.