Found 4 Documents (Results 1–4)
Model checking of causal knowledge formulas. (English) Zbl 0966.68014
Stefanescu, Gheorghe (ed.), WDS ’99. Workshop on distributed systems. A satellite workshop to FCT ’99, Iassy, Romania, September 2-3, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 28, 19 p., electronic only (1999).
MSC:
68M14
Decidability of a partial order based temporal logic. (English) Zbl 1422.03027
Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 582-592 (1993).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (2)
all
top 5
Author
- Lodaya, Kamal (2)
- Ramanujam, Ramaswamy (2)
- Thiagarajan, Pazhamaneri Subramaniam (2)
- Ambroszkiewicz, Stanislaw (1)
- Basin, David A. (1)
- Caleiro, Carlos (1)
- Mukund, Madhavan (1)
- Penczek, Wojciech (1)
- Ramos, Jaime (1)
- Viganò, Luca (1)
Serial
- Theor. Comput. Sci. (1)
- Sādhanā (1)