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

Tytuł pozycji:

Continuation Semantics for Asynchronous Concurrency

Szczegóły
Abstrakt

Tytuł:: Continuation Semantics for Asynchronous Concurrency
Autorzy:: Ciobanu, G.
Todoran, E. N.
Data publikacji:: 2014
Słowa kluczowe:: metric semantics
continuations for concurrency
asynchronous communication
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

The paper presents a method of reasoning about the behaviour of asynchronous programs in denotational models designed with metric spaces and continuation semantics for concurrency.

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

Continuation Semantics for Asynchronous Concurrency