|
|
libcats.org
Handbook of Process AlgebraJ.A. Bergstra, A. Ponse, S.A. SmolkaThis handbook documents process algebra (a formal description technique for complex computer systems) from its modern inception in the late 1970s to the present. Bergstra and A. Ponse (both of the U. of Amsterdam programming research group) and S.A. Smoka (computer science, State U. of New York present 19 contributions that discuss basic theory, finite-state and infinite-state processes, extensions to process algebra that make it easier to model the kinds of systems that arise in practice, non-interleaving process algebras, and tools and applications.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Примечания к эпиграфам (замечания к грекам и римлянам)Автор: Топорищев Фома ЕвграфовичКатегория: Юмор
Размер книги: 50 Kb
Занимательная алгебраАвтор: Перельман Яков Исидорович, Автор: Под редакцией и с дополнениями В.Г.Болтянского.Категория: Физико-математические науки
Размер книги: 3.60 Mb
Nanostructured materials. Selected Synthesis Methods, Properties and ApplicationsАвтор: Philippe Knauth, Автор: Joop Schoonman
Размер книги: 8.46 Mb
The Battle for Britain: Citizenship and Ideology in the Second World WarАвтор: Mary EvansКатегория: История, Военная история
Размер книги: 898 Kb
Global Wine Markets, 1961 To 2003 A Statistical CompendiumАвтор: Glyn Wittwer and Kym Anderson.
Размер книги: 6.66 Mb
Comment pardonner? : Pardonner pour guérir, guérir pour pardonnerАвтор: Jean Monbourquette
Размер книги: 8.50 Mb
Using Time and Space to Defeat Assassins and Other AdversariesАвтор: Becker Gavin de, Автор: Taylor Tom, Автор: Marquart JeffКатегория: fiction
Размер книги: 2.80 Mb
|
|
|