| English | Russian |
| Continuous time, on the other hand, is the natural model for asynchronous systems, because the separation of events can be arbitrarily small | Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| natural model | естественная модель (ssn) |
| natural model for asynchronous systems | естественная модель для асинхронных систем (ssn) |
| useful models for many investigations in natural science, combinatorial mathematics, and computer science | полезные модели для многих исследований в естественных и вычислительных науках и комбинаторной математике (ssn) |
