The following pages link to Damas Gruska (Q590927):
Displayed 50 items.
- Generalization and composition of modal squares of oppositions (Q346766) (← links)
- A process calculus with finitary comprehended terms (Q385508) (← links)
- A logical duality for underspecified probabilistic systems (Q532396) (← links)
- Algebraic separation logic (Q549676) (← links)
- On quasi-open bisimulation (Q557789) (← links)
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Proofs and algorithms. An introduction to logic and computability (Q625290) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- Mobility in process calculi and natural computing. (Q653874) (← links)
- Natural deduction, hybrid systems and modal logics (Q659458) (← links)
- Item:Q590927 (redirect page) (← links)
- Model-checking in dense real-time (Q689092) (← links)
- Asynchronous mappings and asynchronous cellular automata (Q690237) (← links)
- Quantitative separation logic and programs with lists (Q707740) (← links)
- On the modal definability of simulability by finite transitive models (Q763328) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- Abelian networks. II: Halting on all inputs (Q907072) (← links)
- Genomorphisms of semi-modular lattices (Q913834) (← links)
- Using hybrid logic for coping with functions in subset spaces (Q965902) (← links)
- Bisimulation through probabilistic testing (Q1175940) (← links)
- A proof system for communicating processes with value-passing (Q1179808) (← links)
- Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule (Q1183608) (← links)
- Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings (Q1187686) (← links)
- Distributed event algebras (Q1191023) (← links)
- Parallel action: Concurrent dynamic logic with independent modalities (Q1207436) (← links)
- Unique decomposition of processes (Q1208422) (← links)
- Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609) (← links)
- Intuitionistic and classical natural deduction systems with the catch and the throw rules (Q1392143) (← links)
- The modal logic of the countable random frame (Q1407589) (← links)
- Sufficient conditions for the marked graph realisability of labelled transition systems (Q1623288) (← links)
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
- Combining temporal logic systems (Q1815427) (← links)
- Decidability results for metric and layered temporal logics (Q1815429) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- A new natural structural congruence in the pi-calculus with replication (Q1889854) (← links)
- On logics with two variables (Q1960419) (← links)
- Challenges for action theories (Q1977406) (← links)
- Counting nondeterministic computations (Q2055958) (← links)
- Complete proof systems for weighted modal logic (Q2253184) (← links)
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
- On the expressive power of temporal logic (Q2366686) (← links)
- Periodicity based decidable classes in a first order timed logic (Q2368906) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Temporal logic and state systems (Q2517767) (← links)
- The undecidability of iterated modal relativization (Q2574887) (← links)
- (Q2729667) (← links)
- Simulation Opacity (Q2934893) (← links)
- Differential Privacy and Security (Q2968853) (← links)
- A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security (Q3008102) (← links)