Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz

Przednia okładka
Wojciech Penczek, Grzegorz Rozenberg
IOS Press, 2007 - 332
Honors Professor Antoni Mazurkiewicz, who during his long scientific career made fundamental contributions to theoretical computer science. This book includes contributions, which span a range of research areas, including the theory of programming, models of concurrent and distributed systems, and (de)composition methods for Pietri nets.

Z wnętrza książki

Co mówią ludzie - Napisz recenzję

Nie znaleziono żadnych recenzji w standardowych lokalizacjach.

Spis treści

On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces
31
A Symbolic Automaton and its Properties
49
Making Petri Nets Safe and Free of Internal Transitions
75
A Unifying Language for Spatial Structures
91
Finitary Compositions of Twoway FiniteState Transductions
111
Computing Properties of Numerical Imperative Programs by Symbolic Computation
125
On Communicating Automata with Bounded Channels
147
Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces
169
Processes of Petri Nets with Range Testing
199
An Efficient Message Passing Election Algorithm based on Mazurkiewiczs Algorithm
221
On Minimal Rule Sets for Almost All Binary Information Systems
247
An Exercise in Concurrent Behaviour
273
Towards a Framework for Modelling Behaviours of Hybrid Systems
311
Prawa autorskie

Kluczowe wyrazy i wyrażenia

Informacje bibliograficzne