Nets, Terms and Formulas
455 kr.
455 kr.
På lager
Tors., 22 maj - ons., 28 maj
Sikker betaling
14 dages åbent køb
Sælges og leveres af
Adlibris
Produktbeskrivelse
The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets describe processes as concurrent and interacting machines; algebraic process terms describe processes as abstract concurrent processes; and logical formulas specify the intended communication behaviour of processes. At the heart of this theory are two sets of transformation rules for the top-down design of concurrent processes. The first set can be used to transform stepwise logical formulas into process terms, whilst process terms can be transformed into Petri nets by the second set. These rules are based on novel techniques for the operational and denotational semantics of concurrent processes. Various results and relationships between nets, terms and formulas starting with formulas and illustrated by examples. The use of transformations is demonstrated in a series of case studies, and the author also identifies directions for research.
Varenr.
cbad6983-4e81-56cf-8da7-5bc351e045be
Nets, Terms and Formulas
455 kr.
455 kr.
På lager
Tors., 22 maj - ons., 28 maj
Sikker betaling
14 dages åbent køb
Sælges og leveres af
Adlibris
Anbefalede produkter

-34 %
FENCHILIIN Stor Hollywood Makeup Spejl med lys Bluetooth Krystal Finish Bordplade Vægbeslag Hvid 80 x 58 cm Spejl
521 kr.
Tidligere laveste pris:
795 kr.
4,0
onsdag, 7 maj

2-i-1 foldeløbebånd 1-6 km/t til hjemmekontoret Sort
1.299 kr.
4,1
torsdag, 15 maj

-16 %
FENCHILIIN Hollywood makeup spejl med lys forstørrelse 360° drejelig bordplade hvid spejl 30 x 41 cm
279 kr.
Tidligere laveste pris:
331 kr.
4,6
onsdag, 7 maj

Nice price
20-pak G4 halogenlamper 20W 12V - Varm hvid
99 kr.
4,0
onsdag, 14 maj

-22 %
FENCHILIIN Hollywood makeup spejl med lys 360° drejeligt bordplade 25 x 30 cm spejl
195 kr.
Tidligere laveste pris:
249 kr.
4,9
onsdag, 7 maj

-17 %
32 stk. tandbørstehoved kompatibel med Oral-B
99 kr.
Tidligere laveste pris:
119 kr.
3,5
onsdag, 7 maj

Elektrisk stødabsorberende løbebånd—Sort
1.299 kr.
3,7
torsdag, 15 maj

Trådløs CarPlay-adapter 2025
279 kr.
3,8
onsdag, 14 maj

-11 %
FENCHILIIN Hollywood stort makeup spejl med lamper bordplade vægmonteret hvid spejl med lys
479 kr.
Tidligere laveste pris:
539 kr.
4,3
onsdag, 7 maj

Lader til iPhone - Hurtiglader - Adapter + Kabel 20W USB-C 3-Pack iPhone
179 kr.
4,0
fredag, 9 maj