SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Krishna Shankara Narayanan) "

Sökning: WFRF:(Krishna Shankara Narayanan)

  • Resultat 1-3 av 3
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Abdulla, Parosh Aziz, Professor, et al. (författare)
  • Verification of timed asynchronous programs
  • 2018
  • Ingår i: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. - Dagstuhl, Germany : Leibniz-Zentrum für Informatik. - 9783959770934 ; , s. 8:1-16
  • Konferensbidrag (refereegranskat)
  •  
2.
  • Abdulla, Parosh, Professor, 1961-, et al. (författare)
  • On the Separability Problem of String Constraints
  • 2020
  • Ingår i: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference). - Dagstuhl, Germany. - 9783959771603 ; , s. 16:1-16:19
  • Konferensbidrag (refereegranskat)abstract
    • We address the separability problem for straight-line string constraints. The separability problem for languages of a class C by a class S asks: given two languages A and B in C, does there exist a language I in S separating A and B (i.e., I is a superset of A and disjoint from B)? The separability of string constraints is the same as the fundamental problem of interpolation for string constraints. We first show that regular separability of straight line string constraints is undecidable. Our second result is the decidability of the separability problem for straight-line string constraints by piece-wise testable languages, though the precise complexity is open. In our third result, we consider the positive fragment of piece-wise testable languages as a separator, and obtain an ExpSpace algorithm for the separability of a useful class of straight-line string constraints, and a Pspace-hardness result.
  •  
3.
  • Abdulla, Parosh, Professor, 1961-, et al. (författare)
  • Perfect timed communication is hard
  • 2018
  • Ingår i: Formal Modeling and Analysis of Timed Systems. - Cham : Springer. - 9783030001506 ; , s. 91-107
  • Konferensbidrag (refereegranskat)
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-3 av 3

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy