Expiracion de la session si no actividad

[Cluster]

Ok, .. se me quedó por el camino la "negación" o bien usar empty() en lugar de isset():

Código PHP:

  <?  
session_start();  
if (!isset($_SESSION['alguna_variable_sesion'])){  
die ("Se terminó la sesión");  
}   

ó

Código PHP:

  <?  
session_start();  
if (empty($_SESSION['alguna_variable_sesion'])){  
die ("Se terminó la sesión");  
}   

Un saludo,