Fundamenta Informaticae - Tom Vol. 157, nr 4 (2018) - BazTech

Tom - szczegóły

Tytuł artykułu

Vol. 157, nr 4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2018

Identyfikatory

Uwagi

1). Special issue of is dedicated to papers selected from the 26th International Workshop on Concurrency, Specification, and Programming (CS&P 2016), which was held in September 28–30, 2016 in Rostock, Germany

Zawartość wolumenu

Vol. 157, nr 4
- artykuł: Superposition Principle in Composable Hybrid Automata (Akhundov J., Tröger P., Werner M.), s. 321--339
- artykuł: Reversing Transitions in Bounded Petri Nets (Barylska K., Erofeev E., Koutny M., Mikulski Ł., Piątkowski M.), s. 341--357
- artykuł: A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps (Czaja L.), s. 359--370
- artykuł: Rough Sets and Sorites Paradox (Jankowski A., Skowron A., Wasilewski P.), s. 371--384
- artykuł: Computing Bisimulation-Based Comparisons (Nguyen L. A.), s. 385--401
- artykuł: TripICS-a Web Service Composition System for Planning Trips and Travels (Niewiadomski A., Switalski P., Kowalczyk M., Penczek W.), s. 403--425
- artykuł: Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets (Pelz E.), s. 427--442
- artykuł: Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking (Rataj A., Woźna-Szcześniak B.), s. 443--461
- artykuł: Trying to Understand PEG (Redziejowski R. R.), s. 463--475

rozwiń roczniki