Winkowski, Józef 1934-
Winkowski, Józef
Winkowski, J.
VIAF ID: 109315091 ( Personal )
Permalink: http://viaf.org/viaf/109315091
Preferred Forms
-
-
- 100 1 0 ‡a Winkowski, Józef, ‡d 1934-
-
- 100 1 _ ‡a Winkowski, Józef, ‡d 1934-...
-
- 100 1 _ ‡a Winkowski, Józef
-
-
-
- 100 1 _ ‡a Winkowski, Józef ‡d 1934-
4xx's: Alternate Name Forms (6)
Works
Title | Sources |
---|---|
An algebra of data flows | |
An Algebra of time-consuming computations | |
An algebraic approach to non-sequential computations | |
An algebraic characterization of derivability relations | |
An algebraic framework for defining behaviours of concurrent systems | |
An algebraic model for communicating processes | |
An Algebraic way of defining place/transition Petri nets and their behaviours | |
Algebras of arrays - a tool to deal with concurrency | |
CONCUR'97 : concurrency theory : 8th international conference, Warsaw, Poland, July 1-4, 1997 : proceedings | |
A distributed implementation of Petri nets | |
Formal theories of Petri nets and net simulations | |
Formalna specyfikacja wskaźnikowych struktur danych | |
Game of life as a synchronous process that can be realized asynchronously | |
A generalization of Petri nets by equipping them with inputs and outputs | |
Generowanie automatów czasowych dla systemów czasu rzeczywistego | |
Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 | |
A model of evolving relational structures and its application to plan-formation | |
Modelling timed behaviours with the aid of event and configuration structures | |
Multiplicative transition systems | |
A natural method of proving properties of programs | |
Observational equivalence with nonsequential observations | |
On equivalence of behaviour expressions | |
On sequential modelling of parallel processes | |
On some time-based characteristics of behaviours | |
A partial order representation of processes of transforming graphs | |
Partially ordered domains for representing activities | |
Problemy przetwarzania informacji : praca zbiorowa. | |
Processes and processors : by Józef Winkowski | |
Processes in composed systems | |
Processes of contextual nets and their characteristics | |
Processes of timed Petri nets | |
A programming language for concurrent rewriting of (hyper)graphs | |
Programowanie symulacji procesów | |
Reachability in contextual nets | |
Resource management in a distributed multi-agent system | |
Symulacja algorytmiczna | |
Technika badań operacyjnych | |
Techniques for Operational research. Diebold European Research program, 6th quarterly report 1966. Tech. report vol. 1 docum. nr 18. | |
Towards a data flow based version of CCS | |
Towards a framework for modelling systems with rich internal structures of states and processes | |
Towards a model of distributed computations with complex data | |
Towards a solution to a plan-formation problem | |
Towards a universal model of action | |
Towards an algebra for timed behaviours | |
Towards an algebraic description ofdiscrete processes and systems | |
Towards an understanding of computer simulation | |
["Zriny"] : [Tragödie] |