Matches in SemOpenAlex for { <https://semopenalex.org/work/W4232149221> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4232149221 abstract "The properties of social networks, such as concurrency, mobility and distribution, play a negative affect on the modeling and simulation of collective behaviors. This paper presents a process algebraic approach to formal specification and verification of collective behaviors in complex social networks. The social network mainly consists of many collectives, each of which is composed of many agents (or nodes). The agents are described in pi-calculus processes owing to the similarity in attributes between them. The specification of a collective is focused on the internal communication and cooperation among its all agents. Each collective has only one core agent, either a doer responsible for bringing behaviors, or getter responsible for responding behaviors, which represents the interests of the collective. The interactive behavior between two collectives is simplified into that of a pair of core agents. Finally, we reason and verify the formal systems by the Mobility Workbench (MWB), a model checker of pi-calculus." @default.
- W4232149221 created "2022-05-12" @default.
- W4232149221 creator A5049740603 @default.
- W4232149221 creator A5061655810 @default.
- W4232149221 creator A5072610005 @default.
- W4232149221 date "2007-10-01" @default.
- W4232149221 modified "2023-09-28" @default.
- W4232149221 title "A Process Algebraic Approach to Modeling Collective Behaviors in Social Networks" @default.
- W4232149221 doi "https://doi.org/10.1109/skg.2007.48" @default.
- W4232149221 hasPublicationYear "2007" @default.
- W4232149221 type Work @default.
- W4232149221 citedByCount "0" @default.
- W4232149221 crossrefType "proceedings-article" @default.
- W4232149221 hasAuthorship W4232149221A5049740603 @default.
- W4232149221 hasAuthorship W4232149221A5061655810 @default.
- W4232149221 hasAuthorship W4232149221A5072610005 @default.
- W4232149221 hasConcept C100339178 @default.
- W4232149221 hasConcept C103278499 @default.
- W4232149221 hasConcept C115961682 @default.
- W4232149221 hasConcept C120314980 @default.
- W4232149221 hasConcept C134306372 @default.
- W4232149221 hasConcept C144024400 @default.
- W4232149221 hasConcept C154945302 @default.
- W4232149221 hasConcept C19165224 @default.
- W4232149221 hasConcept C193702766 @default.
- W4232149221 hasConcept C199360897 @default.
- W4232149221 hasConcept C2164484 @default.
- W4232149221 hasConcept C2779145975 @default.
- W4232149221 hasConcept C2780366209 @default.
- W4232149221 hasConcept C33923547 @default.
- W4232149221 hasConcept C36464697 @default.
- W4232149221 hasConcept C41008148 @default.
- W4232149221 hasConcept C41550386 @default.
- W4232149221 hasConcept C76155785 @default.
- W4232149221 hasConcept C80444323 @default.
- W4232149221 hasConcept C82267250 @default.
- W4232149221 hasConcept C98045186 @default.
- W4232149221 hasConceptScore W4232149221C100339178 @default.
- W4232149221 hasConceptScore W4232149221C103278499 @default.
- W4232149221 hasConceptScore W4232149221C115961682 @default.
- W4232149221 hasConceptScore W4232149221C120314980 @default.
- W4232149221 hasConceptScore W4232149221C134306372 @default.
- W4232149221 hasConceptScore W4232149221C144024400 @default.
- W4232149221 hasConceptScore W4232149221C154945302 @default.
- W4232149221 hasConceptScore W4232149221C19165224 @default.
- W4232149221 hasConceptScore W4232149221C193702766 @default.
- W4232149221 hasConceptScore W4232149221C199360897 @default.
- W4232149221 hasConceptScore W4232149221C2164484 @default.
- W4232149221 hasConceptScore W4232149221C2779145975 @default.
- W4232149221 hasConceptScore W4232149221C2780366209 @default.
- W4232149221 hasConceptScore W4232149221C33923547 @default.
- W4232149221 hasConceptScore W4232149221C36464697 @default.
- W4232149221 hasConceptScore W4232149221C41008148 @default.
- W4232149221 hasConceptScore W4232149221C41550386 @default.
- W4232149221 hasConceptScore W4232149221C76155785 @default.
- W4232149221 hasConceptScore W4232149221C80444323 @default.
- W4232149221 hasConceptScore W4232149221C82267250 @default.
- W4232149221 hasConceptScore W4232149221C98045186 @default.
- W4232149221 hasLocation W42321492211 @default.
- W4232149221 hasOpenAccess W4232149221 @default.
- W4232149221 hasPrimaryLocation W42321492211 @default.
- W4232149221 hasRelatedWork W1480853724 @default.
- W4232149221 hasRelatedWork W1484165741 @default.
- W4232149221 hasRelatedWork W1498405926 @default.
- W4232149221 hasRelatedWork W2042849989 @default.
- W4232149221 hasRelatedWork W2049110658 @default.
- W4232149221 hasRelatedWork W2109756735 @default.
- W4232149221 hasRelatedWork W2110053516 @default.
- W4232149221 hasRelatedWork W2374807419 @default.
- W4232149221 hasRelatedWork W2390028670 @default.
- W4232149221 hasRelatedWork W2899486387 @default.
- W4232149221 isParatext "false" @default.
- W4232149221 isRetracted "false" @default.
- W4232149221 workType "article" @default.