-
1
-
-
38049076840
-
-
P.A. Abdulla, G. Delzanno, and L. Van Begin. Comparing the Expressive Power of Well-Structured Transition Systems. 21st Int. Workshop on Computer Science Logic, CSL'07, LNCS 4646, pp. 99-114. Springer, 2007.
-
P.A. Abdulla, G. Delzanno, and L. Van Begin. Comparing the Expressive Power of Well-Structured Transition Systems. 21st Int. Workshop on Computer Science Logic, CSL'07, LNCS vol. 4646, pp. 99-114. Springer, 2007.
-
-
-
-
3
-
-
35048857405
-
-
T. Ball, S. Chaki, and S.K. Rajamani. Parameterized Verification of Multithreaded Software Libraries. 7th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'01. LNCS 2031, pp.158-173. Springer, 2001.
-
T. Ball, S. Chaki, and S.K. Rajamani. Parameterized Verification of Multithreaded Software Libraries. 7th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'01. LNCS vol. 2031, pp.158-173. Springer, 2001.
-
-
-
-
5
-
-
29144531211
-
-
A. Bouajjani, J. Esparza, and T. Touili. Reachability Analysis of Synchronized PA Systems. 6th Int. Workshop on Verification of Infinite-State Systems, INF1N1TY'04. ENTCS 138(2), pp. 153-178. Elsevier, 2005.
-
A. Bouajjani, J. Esparza, and T. Touili. Reachability Analysis of Synchronized PA Systems. 6th Int. Workshop on Verification of Infinite-State Systems, INF1N1TY'04. ENTCS vol. 138(2), pp. 153-178. Elsevier, 2005.
-
-
-
-
6
-
-
24644462430
-
-
N. Busi, and G. Zavattaro. Deciding Reachability in Mobile Ambients. 14th European Symposium on Programming Languages and Systems, ETAPS'05. LNCS 3444, pp. 248-262. Springer, 2005.
-
N. Busi, and G. Zavattaro. Deciding Reachability in Mobile Ambients. 14th European Symposium on Programming Languages and Systems, ETAPS'05. LNCS vol. 3444, pp. 248-262. Springer, 2005.
-
-
-
-
7
-
-
58149513851
-
-
L. Cardelli, and A.D. Gordon. Mobile Ambients. 1st Int. Conf. on Foundations of Software Sciences and Computation Structures, FOSSACS'98. LNCS 1387, pp. 140-155. Springer, 1998.
-
L. Cardelli, and A.D. Gordon. Mobile Ambients. 1st Int. Conf. on Foundations of Software Sciences and Computation Structures, FOSSACS'98. LNCS vol. 1387, pp. 140-155. Springer, 1998.
-
-
-
-
9
-
-
13544268666
-
Unreliable channels are easier to verify than perfect channels
-
G. Cécé, A. Finkel, and S.P. Iyer. Unreliable channels are easier to verify than perfect channels. Information and Computation 124(l):20-31, 1996.
-
(1996)
Information and Computation
, vol.124
, Issue.L
, pp. 20-31
-
-
Cécé, G.1
Finkel, A.2
Iyer, S.P.3
-
10
-
-
18944390759
-
An overview of MSR( C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems
-
Elsevier
-
G. Delzanno. An overview of MSR( C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems. 11th Int. Workshop on Functional and Logic Programming, WFLP'02. ENTCS vol. 76. Elsevier, 2002.
-
(2002)
11th Int. Workshop on Functional and Logic Programming, WFLP'02. ENTCS
, vol.76
-
-
Delzanno, G.1
-
11
-
-
58149497119
-
Constraint-based Automatic Verification of Abstract Models of Multitreaded Programs
-
To appear in the
-
G. Delzanno. Constraint-based Automatic Verification of Abstract Models of Multitreaded Programs. To appear in the Journal of Theory and Practice of Logic Programming, 2006.
-
(2006)
Journal of Theory and Practice of Logic Programming
-
-
Delzanno, G.1
-
14
-
-
38149045394
-
Ubiquitous Systems and Petri Nets
-
Ubiquitous Web Systems and Intelligence, Springer
-
D. Frutos-Escrig, O. Marroquín-Alonso and F. Rosa-Velardo. Ubiquitous Systems and Petri Nets. Ubiquitous Web Systems and Intelligence, LNCS vol.3841. Springer, 2005.
-
(2005)
LNCS
, vol.3841
-
-
Frutos-Escrig, D.1
Marroquín-Alonso, O.2
Rosa-Velardo, F.3
-
15
-
-
23044531604
-
-
A. Gordon. Notes on Nominal Calculi for Security and Mobility. Foundations of Security Analysis and Design, FOSAD'00. LNCS 2171, pp. 262-330. Springer, 2001.
-
A. Gordon. Notes on Nominal Calculi for Security and Mobility. Foundations of Security Analysis and Design, FOSAD'00. LNCS vol. 2171, pp. 262-330. Springer, 2001.
-
-
-
-
16
-
-
0005748831
-
Undecidability in object-oriented Petri nets
-
O. Kummer. Undecidability in object-oriented Petri nets. Petri Net Newsletter, 59:18-23,2000.
-
(2000)
Petri Net Newsletter
, vol.59
, pp. 18-23
-
-
Kummer, O.1
-
17
-
-
38149036578
-
Nets with Tokens Which Carry Data
-
28th Int. Conf. on Applications and Theory of Petri Nets and other models of concurrency, 1CATPN'07, Springer
-
R, Lazic, T,C, Newcomb, J, Ouaknine, A.W, Roscoe and J, Worrell, Nets with Tokens Which Carry Data. 28th Int. Conf. on Applications and Theory of Petri Nets and other models of concurrency, 1CATPN'07, LNCS vol. 4546, pp. 301-320. Springer, 2007.
-
(2007)
LNCS
, vol.4546
, pp. 301-320
-
-
Lazic, R.1
Newcomb, T.C.2
Ouaknine, J.3
Roscoe, A.W.4
Worrell, J.5
-
18
-
-
44049113210
-
A Calculus of Mobile Processes, I
-
R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, I. Information and Computation 100(1): 1-40 (1992).
-
(1992)
Information and Computation
, vol.100
, Issue.1
, pp. 1-40
-
-
Milner, R.1
Parrow, J.2
Walker, D.3
-
19
-
-
0002295949
-
Names
-
ed. S. Mullender, 2nd ed, Reading, MA: Addison-Wesley, and
-
R.M. Needham. Names. Distributed systems, ed. S. Mullender, 2nd ed., Reading, MA: Addison-Wesley, 1993, 315-326 and 531-541.
-
(1993)
Distributed systems
-
-
Needham, R.M.1
-
21
-
-
0000422707
-
Context-sensitive synchronization-sensitive analysis is undecidable
-
G. Ramalingam. Context-sensitive synchronization-sensitive analysis is undecidable. ACM Trans. Program. Lang. Syst. 22(2): 416-430 (2000).
-
(2000)
ACM Trans. Program. Lang. Syst
, vol.22
, Issue.2
, pp. 416-430
-
-
Ramalingam, G.1
-
22
-
-
64649104000
-
Analysis of multithreaded programs
-
8th Static Analysis Symposium, SAS'01, Springer
-
M. Rinard. Analysis of multithreaded programs. 8th Static Analysis Symposium, SAS'01. LNCS 2126, pp. 1-19. Springer, 2001.
-
(2001)
LNCS
, vol.2126
, pp. 1-19
-
-
Rinard, M.1
-
23
-
-
33644498859
-
-
F. Rosa-Velardo, D. Frutos-Escrig, and O. Marroquín-Alonso. Mobile Synchronizing Petri Nets: a choreographic approach for coordination in Ubiquitous Systems. 1st Int. Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord'05. ENTCS l50(l). Elsevier, 2006.
-
F. Rosa-Velardo, D. Frutos-Escrig, and O. Marroquín-Alonso. Mobile Synchronizing Petri Nets: a choreographic approach for coordination in Ubiquitous Systems. 1st Int. Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord'05. ENTCS vol.l50(l). Elsevier, 2006.
-
-
-
-
24
-
-
34249812660
-
-
F. Rosa-Velardo, D. Frutos-Escrig, and O. Marroquín-Alonso. On the expressiveness of Mobile Synchronizing Petri Nets. 3rd Int. Workshop on Security Issues in Concurrency, SecCo'05. ENTCS 180(1), pp. 77-94. Elsevier, 2007.
-
F. Rosa-Velardo, D. Frutos-Escrig, and O. Marroquín-Alonso. On the expressiveness of Mobile Synchronizing Petri Nets. 3rd Int. Workshop on Security Issues in Concurrency, SecCo'05. ENTCS vol. 180(1), pp. 77-94. Elsevier, 2007.
-
-
-
-
25
-
-
34247364576
-
-
F. Rosa-Velardo. Coding Mobile Synchronizing Petri Nets into Rewriting Logic. 7th Int. Workshop on Rulebased Programming, RULE'06. ENTCS 174(1), pp. 83-98. Elsevier 2007.
-
F. Rosa-Velardo. Coding Mobile Synchronizing Petri Nets into Rewriting Logic. 7th Int. Workshop on Rulebased Programming, RULE'06. ENTCS vol. 174(1), pp. 83-98. Elsevier 2007.
-
-
-
-
26
-
-
33745893798
-
Replicated Ubiquitous Nets
-
Ubiquitous Web Systems and Intelligence, Springer
-
F. Rosa-Velardo, D. Frutos-Escrig, O. Marroquin-Alonso. Replicated Ubiquitous Nets. Ubiquitous Web Systems and Intelligence, LNCS vol. 3983. Springer, 2006.
-
(2006)
LNCS
, vol.3983
-
-
Rosa-Velardo, F.1
Frutos-Escrig, D.2
Marroquin-Alonso, O.3
-
27
-
-
38149030915
-
-
F. Rosa-Velardo, D. Frutos-Escrig. Name creation vs. Replication in Petri Net Systems. 28th int. Conf. on Applications and Theory of Petri Nets and other models of concurrency, ICATPN'07, LNCS 4546, pp.402-422. Springer, 2007.
-
F. Rosa-Velardo, D. Frutos-Escrig. Name creation vs. Replication in Petri Net Systems. 28th int. Conf. on Applications and Theory of Petri Nets and other models of concurrency, ICATPN'07, LNCS vol. 4546, pp.402-422. Springer, 2007.
-
-
-
|