The book introduces the general theory of relativity and includes applications to cosmology. The book contains a thorough introduction to …
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest …
