Matches in SemOpenAlex for { <https://semopenalex.org/work/W1968422018> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1968422018 endingPage "898" @default.
- W1968422018 startingPage "875" @default.
- W1968422018 abstract "Abstract The use of formal description techniques to describe the behaviour of concurrent systems is still increasing. With the growing complexity of the problems tackled using formal methods, the need for support by computer tools is becoming more and more apparent. This paper describes a tool environment for the formal specification language PSF. An introduction to PSF, as well as to the internal languages used by the toolkit is given. The three main tools from the toolkit described in this paper are a term rewriter, a simulator and a proof assistant. We discuss experiences in usage and links with other tool environments. A comparison between PSF and LOTOS has been included in an appendix." @default.
- W1968422018 created "2016-06-24" @default.
- W1968422018 creator A5064182921 @default.
- W1968422018 date "1993-02-01" @default.
- W1968422018 modified "2023-09-26" @default.
- W1968422018 title "The PSF toolkit" @default.
- W1968422018 cites W1488721712 @default.
- W1968422018 cites W1492683468 @default.
- W1968422018 cites W1503513234 @default.
- W1968422018 cites W1525729637 @default.
- W1968422018 cites W1528666136 @default.
- W1968422018 cites W1532590556 @default.
- W1968422018 cites W1537015436 @default.
- W1968422018 cites W1593511312 @default.
- W1968422018 cites W1604409022 @default.
- W1968422018 cites W1639246698 @default.
- W1968422018 cites W2013399578 @default.
- W1968422018 cites W2135317805 @default.
- W1968422018 cites W2137865376 @default.
- W1968422018 cites W2340102009 @default.
- W1968422018 cites W2569879263 @default.
- W1968422018 cites W2582970353 @default.
- W1968422018 cites W2912033870 @default.
- W1968422018 cites W3144368627 @default.
- W1968422018 cites W1601745317 @default.
- W1968422018 doi "https://doi.org/10.1016/0169-7552(93)90053-7" @default.
- W1968422018 hasPublicationYear "1993" @default.
- W1968422018 type Work @default.
- W1968422018 sameAs 1968422018 @default.
- W1968422018 citedByCount "5" @default.
- W1968422018 crossrefType "journal-article" @default.
- W1968422018 hasAuthorship W1968422018A5064182921 @default.
- W1968422018 hasConcept C115903868 @default.
- W1968422018 hasConcept C121684516 @default.
- W1968422018 hasConcept C199360897 @default.
- W1968422018 hasConcept C41008148 @default.
- W1968422018 hasConcept C49774154 @default.
- W1968422018 hasConceptScore W1968422018C115903868 @default.
- W1968422018 hasConceptScore W1968422018C121684516 @default.
- W1968422018 hasConceptScore W1968422018C199360897 @default.
- W1968422018 hasConceptScore W1968422018C41008148 @default.
- W1968422018 hasConceptScore W1968422018C49774154 @default.
- W1968422018 hasIssue "7" @default.
- W1968422018 hasLocation W19684220181 @default.
- W1968422018 hasOpenAccess W1968422018 @default.
- W1968422018 hasPrimaryLocation W19684220181 @default.
- W1968422018 hasRelatedWork W1527862632 @default.
- W1968422018 hasRelatedWork W2112962394 @default.
- W1968422018 hasRelatedWork W2118300983 @default.
- W1968422018 hasRelatedWork W2135396778 @default.
- W1968422018 hasRelatedWork W2355862304 @default.
- W1968422018 hasRelatedWork W2356108042 @default.
- W1968422018 hasRelatedWork W2740990710 @default.
- W1968422018 hasRelatedWork W3137189469 @default.
- W1968422018 hasRelatedWork W4235530921 @default.
- W1968422018 hasRelatedWork W4243252198 @default.
- W1968422018 hasVolume "25" @default.
- W1968422018 isParatext "false" @default.
- W1968422018 isRetracted "false" @default.
- W1968422018 magId "1968422018" @default.
- W1968422018 workType "article" @default.