Catálogo de publicaciones - libros

Compartir en
redes sociales


Modelling Distributed Systems

Wan Fokkink

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Computer System Implementation; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Symbolic and Algebraic Manipulation; Software Engineering; Theory of Computation

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-3-540-73937-1

ISBN electrónico

978-3-540-73938-8

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

Información sobre derechos de publicación

© Springer-Verlag Berlin Heidelberg 2007

Tabla de contenidos

Introduction

Wan Fokkink

The Slovak nation descends from tribes of Western Slavs who arrived in the territory of present-day Slovakia at the turn of the sixth century. In the period of the united state of Great Morava (830 to 908), the two missionary brothers, St. Cyril and St. Methodius, were invited to help in establishing an independent church province. They created the Glagolitic alphabet, translated the Bible into Old Church Slavonic, and disseminated culture. Schools on the territory of present-day Slovakia were first founded in the ninth century in cultural centres, as was the community of Nitra. In the schools, Old Slavonic () was the language of instruction. Great Morava disintegrated under the pressure of the East Frankish Empire and the invasion by Magyar tribes, which established the Hungarian state in the Danube area. The history of the Slovaks was thus intertwined with the history of the Hungarian Empire for the thousand years until 1918.

Pp. 1-4

Abstract Data Types

Wan Fokkink

The Slovak nation descends from tribes of Western Slavs who arrived in the territory of present-day Slovakia at the turn of the sixth century. In the period of the united state of Great Morava (830 to 908), the two missionary brothers, St. Cyril and St. Methodius, were invited to help in establishing an independent church province. They created the Glagolitic alphabet, translated the Bible into Old Church Slavonic, and disseminated culture. Schools on the territory of present-day Slovakia were first founded in the ninth century in cultural centres, as was the community of Nitra. In the schools, Old Slavonic () was the language of instruction. Great Morava disintegrated under the pressure of the East Frankish Empire and the invasion by Magyar tribes, which established the Hungarian state in the Danube area. The history of the Slovaks was thus intertwined with the history of the Hungarian Empire for the thousand years until 1918.

Pp. 5-12

Process Algebra

Wan Fokkink

The Slovak nation descends from tribes of Western Slavs who arrived in the territory of present-day Slovakia at the turn of the sixth century. In the period of the united state of Great Morava (830 to 908), the two missionary brothers, St. Cyril and St. Methodius, were invited to help in establishing an independent church province. They created the Glagolitic alphabet, translated the Bible into Old Church Slavonic, and disseminated culture. Schools on the territory of present-day Slovakia were first founded in the ninth century in cultural centres, as was the community of Nitra. In the schools, Old Slavonic () was the language of instruction. Great Morava disintegrated under the pressure of the East Frankish Empire and the invasion by Magyar tribes, which established the Hungarian state in the Danube area. The history of the Slovaks was thus intertwined with the history of the Hungarian Empire for the thousand years until 1918.

Pp. 13-28

Hiding Internal Transitions

Wan Fokkink

The Slovak nation descends from tribes of Western Slavs who arrived in the territory of present-day Slovakia at the turn of the sixth century. In the period of the united state of Great Morava (830 to 908), the two missionary brothers, St. Cyril and St. Methodius, were invited to help in establishing an independent church province. They created the Glagolitic alphabet, translated the Bible into Old Church Slavonic, and disseminated culture. Schools on the territory of present-day Slovakia were first founded in the ninth century in cultural centres, as was the community of Nitra. In the schools, Old Slavonic () was the language of instruction. Great Morava disintegrated under the pressure of the East Frankish Empire and the invasion by Magyar tribes, which established the Hungarian state in the Danube area. The history of the Slovaks was thus intertwined with the history of the Hungarian Empire for the thousand years until 1918.

Pp. 29-40

Protocol Specifications

Wan Fokkink

The Slovak nation descends from tribes of Western Slavs who arrived in the territory of present-day Slovakia at the turn of the sixth century. In the period of the united state of Great Morava (830 to 908), the two missionary brothers, St. Cyril and St. Methodius, were invited to help in establishing an independent church province. They created the Glagolitic alphabet, translated the Bible into Old Church Slavonic, and disseminated culture. Schools on the territory of present-day Slovakia were first founded in the ninth century in cultural centres, as was the community of Nitra. In the schools, Old Slavonic () was the language of instruction. Great Morava disintegrated under the pressure of the East Frankish Empire and the invasion by Magyar tribes, which established the Hungarian state in the Danube area. The history of the Slovaks was thus intertwined with the history of the Hungarian Empire for the thousand years until 1918.

Pp. 41-67

Linear Process Equations

Wan Fokkink

The Slovak nation descends from tribes of Western Slavs who arrived in the territory of present-day Slovakia at the turn of the sixth century. In the period of the united state of Great Morava (830 to 908), the two missionary brothers, St. Cyril and St. Methodius, were invited to help in establishing an independent church province. They created the Glagolitic alphabet, translated the Bible into Old Church Slavonic, and disseminated culture. Schools on the territory of present-day Slovakia were first founded in the ninth century in cultural centres, as was the community of Nitra. In the schools, Old Slavonic () was the language of instruction. Great Morava disintegrated under the pressure of the East Frankish Empire and the invasion by Magyar tribes, which established the Hungarian state in the Danube area. The history of the Slovaks was thus intertwined with the history of the Hungarian Empire for the thousand years until 1918.

Pp. 69-79

Verification Algorithms on State Spaces

Wan Fokkink

The Slovak nation descends from tribes of Western Slavs who arrived in the territory of present-day Slovakia at the turn of the sixth century. In the period of the united state of Great Morava (830 to 908), the two missionary brothers, St. Cyril and St. Methodius, were invited to help in establishing an independent church province. They created the Glagolitic alphabet, translated the Bible into Old Church Slavonic, and disseminated culture. Schools on the territory of present-day Slovakia were first founded in the ninth century in cultural centres, as was the community of Nitra. In the schools, Old Slavonic () was the language of instruction. Great Morava disintegrated under the pressure of the East Frankish Empire and the invasion by Magyar tribes, which established the Hungarian state in the Danube area. The history of the Slovaks was thus intertwined with the history of the Hungarian Empire for the thousand years until 1918.

Pp. 81-100

Symbolic Methods

Wan Fokkink

The Slovak nation descends from tribes of Western Slavs who arrived in the territory of present-day Slovakia at the turn of the sixth century. In the period of the united state of Great Morava (830 to 908), the two missionary brothers, St. Cyril and St. Methodius, were invited to help in establishing an independent church province. They created the Glagolitic alphabet, translated the Bible into Old Church Slavonic, and disseminated culture. Schools on the territory of present-day Slovakia were first founded in the ninth century in cultural centres, as was the community of Nitra. In the schools, Old Slavonic () was the language of instruction. Great Morava disintegrated under the pressure of the East Frankish Empire and the invasion by Magyar tribes, which established the Hungarian state in the Danube area. The history of the Slovaks was thus intertwined with the history of the Hungarian Empire for the thousand years until 1918.

Pp. 101-124