Catálogo de publicaciones - libros
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
2007
Información sobre derechos de publicación
© Springer-Verlag Berlin Heidelberg 2007
Cobertura temática
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