Temat: step sequence semantics

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "step sequence semantics" wg kryterium: Temat

Wyświetlanie 1-5 z 5

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Minimal Regions of ENL-Transition Systems
Autorzy:: Koutny, M.
Pietkiewicz-Koutny, M.
Data publikacji:: 2010
Słowa kluczowe:: theory of concurrency
Petri net
localities
analysis and synthesis
step sequence semantics
conflict
theory of regions
transition systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Synthesis of Elementary Net Systems with Context Arcs and Localities
Autorzy:: Koutny, M.
Pietkiewicz-Koutny, M.
Data publikacji:: 2008
Słowa kluczowe:: theory of concurrency
Petri net
elementary eet systems
localities
net synthesis
step sequence semantics
structure and behaviour of nets
theory of regions
transition systems
inhibitor arcs
activator arcs
context arcs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: From Box Algebra to Interval Temporal Logic
Autorzy:: Klaudel, Hanna
Koutny, Maciej
Duan, Zhenhua
Moszkowski, Ben
Data publikacji:: 2019
Słowa kluczowe:: interval temporal logic
Petri nets
box algebra
composition
semantics
general synchronisation
step sequence
equivalence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Characterising Concurrent Histories
Autorzy:: Janicki, R.
Kleijn, J.
Koutny, M.
Mikulski, Ł.
Data publikacji:: 2015
Słowa kluczowe:: concurrent history
causal poset
weak causal order
mutex relation
interleaving
step sequence
causality semantics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Mutex Causality in Processes and Traces of General Elementary Nets
Autorzy:: Kleijn, J.
Koutny, M.
Data publikacji:: 2013
Słowa kluczowe:: concurrency paradigm
elementary net system
inhibitor arc
mutex arc
step sequence
causality
generalised stratified order structure
process semantics
generalised comtrace; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-5 z 5

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "step sequence semantics" wg kryterium: Temat