Time stamped actions in RhoCRL algebras

Time stamped actions in RhoCRL algebras

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Zwaag, Mark B. van der (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam Centrum voor Wiskunde en Informatica 2000
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Cylindric process algebras with conditionals give substitutionless RhoCRL
von: Luttik, S. P.
Veröffentlicht: (1999)

A modal logic for myCRL
von: Groote, Jan F., et al.
Veröffentlicht: (1994)

The reaction rho-rho - rho-rho-eta close to threshold
von: Schuberth, Ulf
Veröffentlicht: (1995)

The Klondike stampede
von: Adney, Tappan 1868-1950
Veröffentlicht: (1994)

Stamped amphora handles
von: Säflund, Marie-Louise
Veröffentlicht: (1980)

Stampede city power and politics in the West
Veröffentlicht: (1984)

Analysis of three hybrid systems in timed MyCRL
von: Groote, Jan F.
Veröffentlicht: (1998)

Stampede theory human nature, technology, and runaway social realities
von: Feldman, Philip
Veröffentlicht: (2023)

Stampede Steve Or, the doom of the double face
von: Hall, Samuel S.
Veröffentlicht: (1884)

Understanding Behaviour of Distributed Systems Using mCRL2
von: Atif, Muhammad, et al.
Veröffentlicht: (2023)

Stamped silk velvets patterns and techniques
von: Borkopp-Restle, Birgitt 1958-
Veröffentlicht: (2009)

Dzialalność ks. F. Fabera CRL w Krakowie 1853-1868
von: Jakubowski, Zbigniew
Veröffentlicht: (1974)

English blind-stamped bindings
Veröffentlicht: (1952)

Stamped Braziers and Pithoi
von: Pieraccini, Lisa 1965-
Veröffentlicht: (2016)

The butterfly that stamped
von: Kipling, Rudyard 1865-1936
Veröffentlicht: (1982)

Silver stampede the career of Death Valley's hell-camp, old Panamint
von: Wilson, Neill Compton
Veröffentlicht: (1937)

Stamped Potters' Marks and Other Stamped Pottery in the McDaniel Collection
von: Hirschland, Nancy L., et al.
Veröffentlicht: (1968)

Specification and implementation of components of a mCRL toolbox
von: Dams, Dennis, et al.
Veröffentlicht: (1995)

The Klondike stampede with a new introduction by Ken Coates
von: Adney, Edwin Tappan
Veröffentlicht: (1995)

Chi Rho das Geheimnis
Veröffentlicht: (2011)

Chi Rho das Geheimnis
Veröffentlicht: (2011)

Chi Rho das Geheimnis
Veröffentlicht: (2011)

Stamped bricks from TT 32
von: Gaál, Ernő 1941-
Veröffentlicht: (1993)

Stamped handles from Rambla - Israel
von: Vincenz, Anna de
Veröffentlicht: (2004)

Stamped Pithos-Fragments from Cameiros
von: Stokes, J. L.
Veröffentlicht: (1906)

Rho GTPases Methods and Protocols
Veröffentlicht: (2012)

Rho GTPases methods and protocols
Veröffentlicht: (2018)

Rho Agenda - Immun
von: Phillips, Richard 1956-

Magmuai se'rho
von: Zīb-an-Nisāʾ Mogulreich, Begum ca. 17. Jhd
Veröffentlicht: (1958)

Reformatie vandaag 500 jaar Hervorming in debat met Rome en nieuwe vormen van doperse radicaliteit
von: Zwaag, Klaas van der 1955-
Veröffentlicht: (2017)

Reformatie vandaag 500 jaar Hervorming in debat met Rome en nieuwe vormen van doperse radicaliteit
von: Zwaag, Klaas van der 1955-
Veröffentlicht: (2017)

Verloren tropische zaken de opkomst en ondergang van de Nederlandse handel- & cultuurmaatschappijen in het voormalige Nederlands-Indië
von: Zwaag, Jaap van der
Veröffentlicht: (1991)

Manlio Rho tra figurativo e astratto
Veröffentlicht: (2003)

Jean Louis Bernhardi (1811 - 1873) ; een leketheoloog uit de school van Kohlbrugge en Bilderdijk
von: Zwaag, W. van der
Veröffentlicht: (1987)

Rho GTPases molecular biology in health and disease
Veröffentlicht: (2018)

Rho GTPases molecular biology in health and disease
Veröffentlicht: (2018)

Stamped from the beginning the definitive history of racist ideas in America
von: Kendi, Ibram X. 1982-
Veröffentlicht: (2017)

Stamped from the beginning the definitive history of racist ideas in America
von: Kendi, Ibram X. 1982-
Veröffentlicht: (2016)

Icon, Brand, Myth: The Calgary Stampede
von: Max Foran
Veröffentlicht: (2008)

Almanack or calendar. Stencilled or stamped
Veröffentlicht: (1500)