WFRF:(Bol R.)
Sökning: WFRF:(Bol R.) > The meaning of nega...
- Bol, RUppsala universitet (författare)
The meaning of negative premises in transition system specifications
- Artikel/kapitelEngelska1996
Förlag, utgivningsår, omfång ...
- ASSOC COMPUTING MACHINERY,1996
- printrdacarrier
Nummerbeteckningar
- LIBRIS-ID:oai:DiVA.org:uu-27227
- https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-27227URI
Kompletterande språkuppgifter
- Språk:engelska
- Sammanfattning på:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Anmärkningar
- Addresses: Bol R, UNIV UPPSALA, DEPT COMP SYST, POB 325, S-75105 UPPSALA, SWEDEN. CTR MATH & COMP SCI, NL-1000 AB AMSTERDAM, NETHERLANDS.
- We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in order to be meaningful, that is, to unequivocally define a transition relat
Ämnesord och genrebeteckningar
- bisimulation; congruence; conservative extension of TSSs; logic programming; negative premises; ntyft/ntyxt-format; priorities and abstraction; process algebra; OPERATIONAL SEMANTICS; BISIMULATION
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Groote, JFUppsala universitet (författare)
- Uppsala universitet (creator_code:org_t)
Sammanhörande titlar
- Ingår i:JOURNAL OF THE ACM: ASSOC COMPUTING MACHINERY43:5, s. 863-9140004-5411
Internetlänk
Hitta mer i SwePub
- Av författaren/redakt...
- Bol, R
- Groote, JF
- Artiklar i publikationen
- JOURNAL OF THE A ...
- Av lärosätet
- Uppsala universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
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.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
