Transactions on petri nets and other models of concurrency X. (2015)

• Record Type: Book
• Other Titles: Transactions on petri nets and other models of concurrency 10
• Further Information: Note: Maciej Koutny, Jörg Desel, Serge Haddad (eds.).
• Editors: Koutny, Maciej, 1958-; Desel, Jörg; Haddad, Serge
• Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 35th; International Conference on Application of Concurrency to System Design, 14th
• Contents: Verification of Logs -- Revealing Faulty Processes of a Medical Laboratory -- An Everlasting Secure Non-interactive Timestamping Scheme in the Bounded Storage Model -- Timed Aggregate Graph: Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets -- SMT-based Abstract Parametric Temporal Planning -- Kleene Theorems for Synchronous Products with Matching -- Symbolic Model Checking of Security Protocols for Ad Hoc Networks on Any Topologies -- Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling -- Modelling and Analysis Mobile Systems Using ?-Calculus (EFCP).
• Publisher Details: Berlin : Springer
• Publication Date: 2015
• Extent: 1 online resource
• Subjects: 005.1; Petri nets -- Congresses; Computer science -- Mathematics -- Congresses; Computer science; Software engineering; Computer logic; Computer logic; Computer science; Computer science -- Mathematics; Petri nets; Software engineering; Computer Science; Engineering & Applied Sciences; Computer Science; Software Engineering; Logics and Meanings of Programs; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783662486504; 3662486504
• Related ISBNs: 9783662486498; 3662486490
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed January 22, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.