Matches in SemOpenAlex for { <https://semopenalex.org/work/W2363777670> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2363777670 abstract "The research on the formal method of human behavioral modeling is an important content of the theory,method and technology research supporting human behavioral modeling.Because of its eminent capabilities of analyzing hierarchically,expressing the dynamic structure and articulating the complicated concurrent interaction,the 7r-calculus can be used as a good starting-point of the formal method research supporting human behavioral modeling.According to the requirement of the formal method supporting human behavioral modeling,aiming at the deficiencies of usingπ-calculus to formally model human behavior,tries to define a formal method of human behavioral modeling based onπ-calculus—π-BFMBM (π-Based Formal Method of Behavioral Modeling).Moreover,by some examples,describes the enhanced capabilities of theπ-BFMBM in modeling human behavior.Compared withπ-calculus,π-BFMBM can provide more powerful support for human behavioral modeling." @default.
- W2363777670 created "2016-06-24" @default.
- W2363777670 creator A5066887020 @default.
- W2363777670 date "2009-01-01" @default.
- W2363777670 modified "2023-09-26" @default.
- W2363777670 title "Formal method of human behavioral modeling based onπ-calculus" @default.
- W2363777670 hasPublicationYear "2009" @default.
- W2363777670 type Work @default.
- W2363777670 sameAs 2363777670 @default.
- W2363777670 citedByCount "0" @default.
- W2363777670 crossrefType "journal-article" @default.
- W2363777670 hasAuthorship W2363777670A5066887020 @default.
- W2363777670 hasConcept C115903868 @default.
- W2363777670 hasConcept C154945302 @default.
- W2363777670 hasConcept C199343813 @default.
- W2363777670 hasConcept C22497172 @default.
- W2363777670 hasConcept C2777686260 @default.
- W2363777670 hasConcept C41008148 @default.
- W2363777670 hasConcept C71924100 @default.
- W2363777670 hasConcept C75606506 @default.
- W2363777670 hasConcept C78639753 @default.
- W2363777670 hasConceptScore W2363777670C115903868 @default.
- W2363777670 hasConceptScore W2363777670C154945302 @default.
- W2363777670 hasConceptScore W2363777670C199343813 @default.
- W2363777670 hasConceptScore W2363777670C22497172 @default.
- W2363777670 hasConceptScore W2363777670C2777686260 @default.
- W2363777670 hasConceptScore W2363777670C41008148 @default.
- W2363777670 hasConceptScore W2363777670C71924100 @default.
- W2363777670 hasConceptScore W2363777670C75606506 @default.
- W2363777670 hasConceptScore W2363777670C78639753 @default.
- W2363777670 hasLocation W23637776701 @default.
- W2363777670 hasOpenAccess W2363777670 @default.
- W2363777670 hasPrimaryLocation W23637776701 @default.
- W2363777670 hasRelatedWork W138770879 @default.
- W2363777670 hasRelatedWork W1541721000 @default.
- W2363777670 hasRelatedWork W1966245584 @default.
- W2363777670 hasRelatedWork W2020424668 @default.
- W2363777670 hasRelatedWork W2033651086 @default.
- W2363777670 hasRelatedWork W2078315008 @default.
- W2363777670 hasRelatedWork W2083585393 @default.
- W2363777670 hasRelatedWork W2103786766 @default.
- W2363777670 hasRelatedWork W2155306299 @default.
- W2363777670 hasRelatedWork W2160066247 @default.
- W2363777670 hasRelatedWork W2188527223 @default.
- W2363777670 hasRelatedWork W2399648933 @default.
- W2363777670 hasRelatedWork W2474051009 @default.
- W2363777670 hasRelatedWork W2739556977 @default.
- W2363777670 hasRelatedWork W2885089758 @default.
- W2363777670 hasRelatedWork W2953604727 @default.
- W2363777670 hasRelatedWork W2989655427 @default.
- W2363777670 hasRelatedWork W3000505333 @default.
- W2363777670 hasRelatedWork W3136493242 @default.
- W2363777670 hasRelatedWork W769555646 @default.
- W2363777670 isParatext "false" @default.
- W2363777670 isRetracted "false" @default.
- W2363777670 magId "2363777670" @default.
- W2363777670 workType "article" @default.