@inproceedings{37915f1b744743dea7a9485f90a11020,
title = "Specification of timing constraints within the Circal process Algebra",
abstract = "We present a methodology for describing timing constraints within various time models. This methodology exploits the constraint-based modelling style available within Circal, a process algebra that permits a natural representation of time without any ad hoc extension. The methodology is illustrated through several examples in the area of communication protocols and asynchronous hardware.",
author = "Antonio Cerone and Milne, {George J.}",
year = "1997",
month = jan,
day = "1",
language = "English",
isbn = "3540638881",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag Berlin",
pages = "108--122",
editor = "Michael Johnson",
booktitle = "Algebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings",
address = "Germany",
note = "6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 ; Conference date: 13-12-1997 Through 17-12-1997",
}