Lotos Computer Program Language

8 books
LOTOSZbigniew Huzar
⏱ 4h 24m

LOTOS

Zbigniew Huzar

2007264 pp.
LOTOSphereUnknown Author
⏱ 8h 44m

LOTOSphere

Unknown Author

1995524 pp.
LOTOSphereTommaso Bolognesi
⏱ 8h 8m

LOTOSphere

Tommaso Bolognesi

1995488 pp.
Verification of systems and circuits using LOTOS, Petri Nets, and CCSMichael Yoeli
⏱ 4h 8m

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Michael Yoeli

2008248 pp.
The OSI95 transport service with multimedia supportA. Danthine
⏱ 8h 35m

The OSI95 transport service with multimedia support

A. Danthine

1994515 pp.
Communication protocol specification and verificationLai, Richard Ph. D.
⏱ 5h 4m

Communication protocol specification and verification

Lai, Richard Ph. D.

1998304 pp.
The Formal description technique LotosUnknown Author
⏱ 7h 31m

The Formal description technique Lotos

Unknown Author

1989451 pp.
Concurrency theoryHoward Bowman
⏱ 7h 9m

Concurrency theory

Howard Bowman

2005429 pp.