Matches in SemOpenAlex for { <https://semopenalex.org/work/W2031900372> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2031900372 endingPage "393" @default.
- W2031900372 startingPage "389" @default.
- W2031900372 abstract "LOTOS and its enhanced version E-LOTOS are standard languages for formal specification of concurrent and reactive systems. For better backward compatibility of E-LOTOS with LOTOS, we introduce into E-LOTOS specification and trapping of non-urgent and potentially decisive successful termination of processes." @default.
- W2031900372 created "2016-06-24" @default.
- W2031900372 creator A5059203563 @default.
- W2031900372 date "2002-11-01" @default.
- W2031900372 modified "2023-09-27" @default.
- W2031900372 title "A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS" @default.
- W2031900372 cites W1965674893 @default.
- W2031900372 cites W2021607222 @default.
- W2031900372 cites W2027253888 @default.
- W2031900372 cites W2121372686 @default.
- W2031900372 doi "https://doi.org/10.1016/s0920-5489(02)00065-x" @default.
- W2031900372 hasPublicationYear "2002" @default.
- W2031900372 type Work @default.
- W2031900372 sameAs 2031900372 @default.
- W2031900372 citedByCount "0" @default.
- W2031900372 crossrefType "journal-article" @default.
- W2031900372 hasAuthorship W2031900372A5059203563 @default.
- W2031900372 hasConcept C199360897 @default.
- W2031900372 hasConcept C2985583900 @default.
- W2031900372 hasConcept C41008148 @default.
- W2031900372 hasConcept C80444323 @default.
- W2031900372 hasConceptScore W2031900372C199360897 @default.
- W2031900372 hasConceptScore W2031900372C2985583900 @default.
- W2031900372 hasConceptScore W2031900372C41008148 @default.
- W2031900372 hasConceptScore W2031900372C80444323 @default.
- W2031900372 hasIssue "5" @default.
- W2031900372 hasLocation W20319003721 @default.
- W2031900372 hasOpenAccess W2031900372 @default.
- W2031900372 hasPrimaryLocation W20319003721 @default.
- W2031900372 hasRelatedWork W141784472 @default.
- W2031900372 hasRelatedWork W1482231529 @default.
- W2031900372 hasRelatedWork W1496543654 @default.
- W2031900372 hasRelatedWork W1513124435 @default.
- W2031900372 hasRelatedWork W1514630934 @default.
- W2031900372 hasRelatedWork W1544921324 @default.
- W2031900372 hasRelatedWork W1564728338 @default.
- W2031900372 hasRelatedWork W2059701569 @default.
- W2031900372 hasRelatedWork W2227038973 @default.
- W2031900372 hasRelatedWork W2379246649 @default.
- W2031900372 hasRelatedWork W2379358130 @default.
- W2031900372 hasRelatedWork W2388085714 @default.
- W2031900372 hasRelatedWork W2394469139 @default.
- W2031900372 hasRelatedWork W2587373766 @default.
- W2031900372 hasRelatedWork W2737629447 @default.
- W2031900372 hasRelatedWork W2757839910 @default.
- W2031900372 hasRelatedWork W2938366666 @default.
- W2031900372 hasRelatedWork W43314487 @default.
- W2031900372 hasRelatedWork W70809905 @default.
- W2031900372 hasRelatedWork W1741066134 @default.
- W2031900372 hasVolume "24" @default.
- W2031900372 isParatext "false" @default.
- W2031900372 isRetracted "false" @default.
- W2031900372 magId "2031900372" @default.
- W2031900372 workType "article" @default.